User contributions for Michael Leuschel

3 February 2016

• 08:1708:17, 3 February 2016 diff hist +232 Tips: B Idioms →Recursion using closure1
• 08:1508:15, 3 February 2016 diff hist +2 Tips: B Idioms →Recursion using closure1
• 08:1408:14, 3 February 2016 diff hist +1,235 Tips: B Idioms No edit summary
• 08:0508:05, 3 February 2016 diff hist 0 Tips: B Idioms No edit summary
• 08:0408:04, 3 February 2016 diff hist +616 Tips: B Idioms No edit summary
• 07:0507:05, 3 February 2016 diff hist +226 Tips: B Idioms No edit summary
• 06:5806:58, 3 February 2016 diff hist +73 Tips: B Idioms →Let for expressions
• 06:5606:56, 3 February 2016 diff hist +98 Tips: B Idioms →Let for expressions
• 06:5506:55, 3 February 2016 diff hist +108 Tips: B Idioms →Let for predicates
• 06:5506:55, 3 February 2016 diff hist +447 N Tips: B Idioms Created page with " Also have a look at Tips:_Writing_Models_for_ProB. == LET == Classical B only has a LET substitution, no let construct for predicates or expressions. Event-B has no let..."
• 06:5006:50, 3 February 2016 diff hist +67 Template:User Manual Index No edit summary

2 February 2016

• 07:3207:32, 2 February 2016 diff hist +321 Die Hard Jugs Puzzle No edit summary
• 07:1807:18, 2 February 2016 diff hist −276 Die Hard Jugs Puzzle No edit summary
• 07:1607:16, 2 February 2016 diff hist +777 Die Hard Jugs Puzzle No edit summary
• 07:1507:15, 2 February 2016 diff hist +4 Die Hard Jugs Puzzle No edit summary
• 07:1207:12, 2 February 2016 diff hist 0 N File:ProB DieHard Screenshot.png No edit summary current
• 07:1207:12, 2 February 2016 diff hist +855 Die Hard Jugs Puzzle No edit summary
• 07:0807:08, 2 February 2016 diff hist +4 Die Hard Jugs Puzzle No edit summary
• 07:0807:08, 2 February 2016 diff hist +121 Die Hard Jugs Puzzle No edit summary
• 07:0707:07, 2 February 2016 diff hist 0 Die Hard Jugs Puzzle No edit summary
• 07:0607:06, 2 February 2016 diff hist 0 File:ProB Goal Found.png Michael Leuschel uploaded a new version of File:ProB Goal Found.png current
• 07:0607:06, 2 February 2016 diff hist 0 Die Hard Jugs Puzzle No edit summary
• 07:0507:05, 2 February 2016 diff hist 0 File:Jars Panes.png Michael Leuschel uploaded a new version of File:Jars Panes.png current
• 07:0507:05, 2 February 2016 diff hist 0 N File:ProB Goal Found.png No edit summary
• 07:0407:04, 2 February 2016 diff hist 0 N File:Jars Panes.png No edit summary
• 07:0407:04, 2 February 2016 diff hist 0 N File:ProB ModelCheckGoalBox.png No edit summary current
• 07:0307:03, 2 February 2016 diff hist +2,224 N Die Hard Jugs Puzzle Created page with "This is the B model of a puzzle from the movie "Die Hard with a Vengeance". This [https://www.youtube.com/watch?v=BVtQNK_ZUJg|clip shows Bruce Willis and Samuel Jackson having..."
• 06:5506:55, 2 February 2016 diff hist +27 User Manual →Sample Models

1 February 2016

• 20:3020:30, 1 February 2016 diff hist +41 User Manual →Sample Models

21 January 2016

• 09:1409:14, 21 January 2016 diff hist +241 ProB for Event-B No edit summary
• 09:1209:12, 21 January 2016 diff hist +954 N ProB for Event-B Created page with "In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. ProB can be installed as a plugin for Rodin. See the tutorial p..."
• 09:1009:10, 21 January 2016 diff hist +56 Template:User Manual Index No edit summary

20 January 2016

• 18:4818:48, 20 January 2016 diff hist +144 Argumentation Theory No edit summary
• 18:4518:45, 20 January 2016 diff hist +8 Argumentation Theory →A more elegant encoding
• 18:4218:42, 20 January 2016 diff hist 0 N File:ProB Argumentation CustomDot.png No edit summary current
• 18:4118:41, 20 January 2016 diff hist +601 Argumentation Theory No edit summary
• 18:3418:34, 20 January 2016 diff hist +63 Argumentation Theory No edit summary
• 15:4215:42, 20 January 2016 diff hist +41 Argumentation Theory →A more elegant encoding
• 15:4215:42, 20 January 2016 diff hist −41 Argumentation Theory →A more elegant encoding
• 15:4115:41, 20 January 2016 diff hist 0 Argumentation Theory →A more elegant encoding
• 15:4115:41, 20 January 2016 diff hist 0 N File:ProBRodinArgumentationState.png No edit summary current
• 15:4115:41, 20 January 2016 diff hist +778 Argumentation Theory →A more elegant encoding
• 15:3515:35, 20 January 2016 diff hist +840 Argumentation Theory No edit summary
• 15:2915:29, 20 January 2016 diff hist −46 Argumentation Theory No edit summary
• 15:2215:22, 20 January 2016 diff hist +2 Argumentation Theory No edit summary
• 15:1515:15, 20 January 2016 diff hist 0 File:ProB Argumentation Screenshot1.png Michael Leuschel uploaded a new version of File:ProB Argumentation Screenshot1.png current
• 15:1515:15, 20 January 2016 diff hist −1 Argumentation Theory No edit summary
• 15:0815:08, 20 January 2016 diff hist −2 Argumentation Theory No edit summary
• 15:0615:06, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot3.png No edit summary current
• 15:0515:05, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot2.png No edit summary current