src/CTT/Main.thy
2010-03-13 ago removed old CVS Ids;
2005-09-16 ago converted to Isar theory format;
2005-06-17 ago migrated theory headers to new format
2000-11-14 ago new Main.thy as in HOL, ZF