Nominal/Nominal2_FSet.thy
Sat, 04 Sep 2010 05:43:03 +0800 Christian Urban cleaned a bit various thy-files in Nominal-General
Sat, 28 Aug 2010 18:15:23 +0800 Christian Urban slight cleaning
Tue, 29 Jun 2010 18:00:59 +0100 Christian Urban removed an "eqvt"-warning
Thu, 27 May 2010 18:37:52 +0200 Christian Urban intermediate state
less more (0) -10 -4 tip