2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-10-24 | Christian Urban | proved the two lemmas in QuotScript (reformulated them without leading forall) | file | diff | annotate |
2009-10-13 | Christian Urban | restored old version | file | diff | annotate |