2010-08-26 | Christian Urban | "isabelle make test" makes all major examples....they work up to supp theorems (excluding) | file | diff | annotate |
2010-07-10 | Christian Urban | added material for slides | file | diff | annotate |
2010-05-24 | Christian Urban | added slides | file | diff | annotate |
2010-04-29 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |
2010-04-08 | Christian Urban | added new paper directory for further work | file | diff | annotate |
2010-04-06 | Christian Urban | typos in paper | file | diff | annotate |