src/CCL/Fix.thy
2010-04-23 wenzelm mark schematic statements explicitly;
2009-07-23 wenzelm misc modernization: proper method setup instead of adhoc ML proofs;
2007-10-03 wenzelm avoid unnamed infixes;
2007-06-21 wenzelm tuned proofs -- avoid implicit prems;
2006-07-18 wenzelm removed obsolete ML files;
2005-09-17 wenzelm converted to Isar theory format;
1997-10-10 wenzelm fixed dots;
1996-02-05 clasohm expanded tabs
1993-09-16 clasohm Initial revision
less more (0) tip