IsaMakefile
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
2010-04-04 Christian Urban separated general nominal theory into separate folder
2010-04-03 Christian Urban merged pearl paper with this repository; started litrature subdirectory
2010-03-17 Christian Urban paper uses now a heap file - does not compile so long anymore
2010-03-17 Christian Urban made paper to compile
2010-02-25 Christian Urban added IsaMakefile...but so far included only a test for the parser
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