Nominal-General/Nominal2_Base.thy
Mon, 04 Oct 2010 07:25:37 +0100 Christian Urban changed to llncs
Sat, 18 Sep 2010 06:09:43 +0800 Christian Urban updated to Isabelle Sept 16
less more (0) -10 -2 tip