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