Nominal-General/Nominal2_Base.thy
Sat, 04 Sep 2010 05:43:03 +0800 Christian Urban cleaned a bit various thy-files in Nominal-General
Thu, 22 Jul 2010 08:30:50 +0200 Christian Urban updated to new Isabelle; made FSet more "quiet"
Thu, 03 Jun 2010 15:02:52 +0200 Christian Urban added uminus_eqvt
Mon, 03 May 2010 00:00:33 +0100 Christian Urban slight tuning
less more (0) -10 -4 tip