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