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