src/HOL/NanoJava/OpSem.thy
2016-02-23 nipkow 2016-02-23 more canonical names
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-12-25 haftmann 2013-12-25 prefer more canonical names for lemmas on min/max
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-10-15 oheimb 2001-10-15 renamed reset_locs to del_locs
2001-09-21 oheimb 2001-09-21 Minor improvements, added Example
2001-09-10 oheimb 2001-09-10 simplified vnam/vname, introduced fname, improved comments
2001-08-30 oheimb 2001-08-30 cosmetics
2001-08-30 oheimb 2001-08-30 removed imname, uncurried Meth
2001-08-09 oheimb 2001-08-09 corrected initialization of locals, streamlined Impl
2001-08-08 oheimb 2001-08-08 layout, subscripts
2001-08-08 oheimb 2001-08-08 changed to full expressions with side effects
2001-06-16 oheimb 2001-06-16 added NanoJava