Wed, 25 Aug 2010 09:02:06 +0800 Christian Urban can now deal with type variables in nominal datatype definitions
Sun, 22 Aug 2010 14:02:49 +0800 Christian Urban updated to new Isabelle
Sun, 22 Aug 2010 12:36:53 +0800 Christian Urban merged
Sun, 22 Aug 2010 11:00:53 +0800 Christian Urban updated to new Isabelle
Sat, 21 Aug 2010 20:07:52 +0800 Christian Urban not needed anymore
Sat, 21 Aug 2010 20:07:36 +0800 Christian Urban moved lifting code from Lift.thy to nominal_dt_quot.ML
Sat, 21 Aug 2010 17:55:42 +0800 Christian Urban nominal_datatypes with type variables do not work
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip