IsaMakefile
Tue, 24 Jan 2012 14:05:24 +0000 Christian Urban added a session entry in order to quickly build the heap file (tests took too long)
Tue, 20 Dec 2011 17:54:53 +0900 Cezary Kaliszyk Added an initial version of qpaper-jv and a TODO of things to write about.
Sat, 17 Dec 2011 17:03:01 +0000 Christian Urban cleaned all papers from the stable branch Nominal2-Isabelle2011-1
Sat, 26 Nov 2011 09:47:21 +0000 Christian Urban slides for talk in Leicester
less more (0) -30 -10 -4 tip