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
less more (0) -30 -10 -2 tip