src/HOL/NanoJava/Example.thy
2016-08-10 nipkow 2016-08-10 "split add" -> "split"
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-08-21 krauss 2011-08-21 modernized specifications
2010-09-28 haftmann 2010-09-28 modernized primrecs
2010-02-11 wenzelm 2010-02-11 modernized translations;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2006-10-13 berghofe 2006-10-13 Adapted to changes in FixedPoint theory.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-02-25 oheimb 2002-02-25 Clarification wrt. use of polymorphic variants of Hoare logic rules
2002-01-14 oheimb 2002-01-14 cosmetics
2001-10-15 oheimb 2001-10-15 renamed reset_locs to del_locs
2001-09-21 oheimb 2001-09-21 Minor improvements, added Example