IsaMakefile
2012-10-04 Christian Urban removed fork_mono flag
2012-06-11 Christian Urban added CPS files to test (not all proofs have been completed)
2012-05-22 Cezary Kaliszyk Executing Lambda Terms
2012-05-12 Christian Urban cleaned the repository for Nominal2-Isabelle2012 Nominal2-Isabelle2012
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2012-02-17 Christian Urban added fs and pt for multisets
2012-01-24 Christian Urban tuned make-file
2012-01-24 Christian Urban made all papers work again
2012-01-24 Christian Urban added a session entry in order to quickly build the heap file (tests took too long)
2011-12-20 Cezary Kaliszyk Added an initial version of qpaper-jv and a TODO of things to write about.
2011-12-17 Christian Urban cleaned all papers from the stable branch Nominal2-Isabelle2011-1
2011-11-26 Christian Urban slides for talk in Leicester
2011-08-19 Cezary Kaliszyk Add 'no-brackets' to avoid '[| |]' in papers.
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
2011-06-15 Christian Urban added a stub for function paper; "isabelle make fnpaper"
2011-05-24 Christian Urban more on slides
2011-05-22 Christian Urban added slides for copenhagen
2011-04-28 Christian Urban added slides for beijing
2011-04-11 Christian Urban Shanghai slides
2011-03-30 Christian Urban tuned IsaMakefile
2011-03-29 Christian Urban rearranged directories and updated to new Isabelle
2011-03-11 Christian Urban more on the paper
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
less more (0) -30 tip