15:3815:38, 6 December 2011diffhist+103 N
Glossary:state
Created page with 'A state is a mapping from names to values. In classical B a state consists of constants and variables.'current
20:3020:30, 29 November 2011diffhist+240 N
Template:Case
Created page with '<div class="noprint" style="float:center; border:1px solid blue;width:400px;background-color:#FFFFFF;padding:3px;"> {{{text|{{{1}}}}} </div> <noinclude> {{Languages|Template:Than…'
08:4608:46, 4 October 2011diffhist+94 N
Evaluation View
Created page with 'This tutorial describes the use of ProB's evaluation view to explore single states of a model.'