src/HOL/IMP/Examples.thy
2008-06-25 wenzelm 2008-06-25 modernized specifications;
2005-12-08 wenzelm 2005-12-08 tuned proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-09 kleing 2001-12-09 converted to Isar
2000-07-04 oheimb 2000-07-04 disambiguated := ; added Examples (factorial)