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