IsaMakefile
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
Fri, 19 Aug 2011 11:05:22 +0900 Cezary Kaliszyk Add 'no-brackets' to avoid '[| |]' in papers.
less more (0) -30 -10 -4 tip