| Thu, 19 Nov 2009 14:17:10 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Sun, 25 Oct 2009 01:15:03 +0200 | Christian Urban | proved the two lemmas in QuotScript (reformulated them without leading forall) | file | diff | annotate |
| Tue, 13 Oct 2009 09:26:19 +0200 | Christian Urban | restored old version | file | diff | annotate |