src/CTT/Bool.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-06-02 wenzelm 2006-06-02 tuned;
2006-06-02 wenzelm 2006-06-02 removed obsolete ML files;
2005-09-16 wenzelm 2005-09-16 converted to Isar theory format;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1993-09-16 clasohm 1993-09-16 Initial revision