IsaMakefile
2010-10-14 Christian Urban major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)
2010-10-08 Christian Urban added apendix to paper detailing one proof
2010-09-20 Christian Urban introduced a general procedure for structural inductions; simplified reflexivity proof
2010-09-17 Christian Urban updated to Isabelle Sept 16
2010-08-31 Christian Urban slides of my talk
2010-08-29 Christian Urban renamed NewParser to Nominal2
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
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