Nominal/Nominal2_FSet.thy
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
Tue, 25 May 2010 17:01:37 +0200 Cezary Kaliszyk reversing the direction of fresh_star
less more (0) -10 -4 tip