Nominal/Lift.thy
Thu, 24 Jun 2010 19:32:33 +0100 Christian Urban fixed according to changes in quotient
Wed, 23 Jun 2010 15:40:00 +0100 Christian Urban merged cezary's changes
Wed, 23 Jun 2010 15:21:04 +0100 Christian Urban whitespace
less more (0) -10 -3 tip