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
less more (0) -3 tip