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…'