2012-03-23 ago proof tidying
2012-03-15 ago replacing ":" by "\<in>"
2012-03-06 ago Using mathematical notation for <-> and cardinal arithmetic
2012-03-06 ago mathematical symbols instead of ASCII
2011-11-20 ago eliminated obsolete "standard";
2010-12-15 ago Added two theorems about the concept of range. Tidied up the comments.
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2007-10-07 ago modernized specifications;
2005-06-17 ago migrated theory headers to new format
2004-06-08 ago Groups, Rings and supporting lemmas
2003-06-20 ago Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
2003-01-23 ago tidying (by script)
2002-09-30 ago Adapted to new simplifier.
2002-08-21 ago tweaks
2002-07-14 ago Removal of mono.thy
2002-07-14 ago improved presentation markup
2002-07-02 ago Tidying and introduction of various new theorems
2002-05-28 ago deleted some useless ML bindings
2002-05-24 ago tidied; stronger lemmas about functions
2002-05-24 ago conversion of Perm to Isar. Strengthening of comp_fun_apply
2000-08-10 ago installation of cancellation simprocs for the integers
1997-01-03 ago Implicit simpsets and clasets for FOL and ZF
1996-06-17 ago Converted to use constdefs instead of defs
1996-02-06 ago expanded tabs
1995-12-09 ago removed quotes from consts and syntax sections
1995-06-22 ago removed \...\ inside strings
1994-11-29 ago replaced "rules" by "defs"
1993-11-16 ago made pseudo theories for all ML files;
1993-09-16 ago Initial revision