Prove.thy
2009-11-19 Christian Urban updated to new Isabelle
2009-10-24 Christian Urban proved the two lemmas in QuotScript (reformulated them without leading forall)
2009-10-13 Christian Urban restored old version
2009-10-12 Christian Urban added quotient command (you need to update isar-keywords-prove.el)
2009-09-29 Christian Urban used new cong_tac
2009-09-28 Christian Urban added name to prove
2009-09-28 Christian Urban some tuning of my code
2009-08-24 Christian Urban added the prove command
less more (0) tip