Attic/Prove.thy
2010-05-21 Cezary Kaliszyk Isabelle renamings
2010-04-26 Christian Urban changed theorem_i to theorem....requires new Isabelle
2010-01-26 Christian Urban just moved obsolete material into Attic
less more (0) tip