src/CTT/Main.thy
2000-11-14 paulson 2000-11-14 new Main.thy as in HOL, ZF