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