IsaMakefile
2009-12-19 Christian Urban with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place
2009-12-16 Christian Urban complete fix for IsaMakefile
2009-12-16 Christian Urban first fix
2009-12-16 Christian Urban added a paper for possible notes
2009-12-07 Christian Urban isabelle make tests all examples
2009-12-07 Christian Urban added "end" to each example theory
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip