Paper/Paper.thy
Sat, 04 Sep 2010 07:39:38 +0800 Christian Urban got rid of Nominal2_Supp (is now in Nomina2_Base)
Fri, 03 Sep 2010 22:35:35 +0800 Christian Urban adapted paper to changes
Fri, 23 Jul 2010 16:42:47 +0200 Christian Urban samll changes
Fri, 16 Jul 2010 05:09:45 +0100 Christian Urban submitted version
less more (0) -100 -30 -10 -4 tip