src/ZF/Resid/Residuals.thy
2007-04-26 wenzelm 2007-04-26 eliminated unnamed infixes, tuned syntax;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2001-12-29 wenzelm 2001-12-29 tuned document sources;
2001-12-22 paulson 2001-12-22 Resid converted to Isar/ZF
2001-05-21 paulson 2001-05-21 X-symbols for ZF
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-12-09 clasohm 1995-12-09 removed quotes from consts and syntax sections
1995-06-22 clasohm 1995-06-22 removed \...\ inside strings
1995-04-13 lcp 1995-04-13 New example by Ole Rasmussen