Nominal/FSet.thy
Mon, 14 Jun 2010 11:51:34 +0200 Christian Urban some tuning and start work on section 4
Mon, 14 Jun 2010 04:38:25 +0200 Christian Urban completed proof and started section about respectfulness and preservation
Sun, 13 Jun 2010 17:01:15 +0200 Christian Urban something about the quotient ype definitions
less more (0) -30 -10 -3 tip