src/HOL/NanoJava/State.thy
2010-03-03 wenzelm 2010-03-03 cleanup type translations;
2010-03-01 haftmann 2010-03-01 merged
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-24 wenzelm 2010-02-24 modernized syntax declarations, and make them actually work with authentic syntax;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-03-04 nipkow 2009-03-04 Made Option a separate theory and renamed option_map to Option.map
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-07-25 nipkow 2003-07-25 Replaced \<leadsto> by \<rightharpoonup>
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
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 removed imname, uncurried Meth
2001-08-09 wenzelm 2001-08-09 removed obsolete "arities";
2001-08-09 oheimb 2001-08-09 corrected initialization of locals, streamlined Impl
2001-06-16 oheimb 2001-06-16 added NanoJava