| Fri, 30 Aug 2013 14:35:37 +0100 | Christian Urban |
updated to lates Isabelle | file | diff | annotate |
| Fri, 19 Apr 2013 00:10:52 +0100 | Christian Urban |
updated to simplifier changes | file | diff | annotate |
| Mon, 07 Nov 2011 13:58:18 +0000 | Christian Urban | all examples work again after quotient package has been "de-localised" | file | diff | annotate |