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