src/HOL/NanoJava/Equivalence.thy
2003-08-29 ballarin 2003-08-29 Methods rule_tac etc support static (Isar) contexts.
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-12-17 nipkow 2001-12-17 mods due to mor powerful simprocs for 1-point rules (quantifier1).
2001-09-21 oheimb 2001-09-21 Minor improvements, added Example
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