Nominal/nominal_dt_alpha.ML
Sun, 15 Aug 2010 11:03:13 +0800 Christian Urban simplified code
Sat, 14 Aug 2010 16:54:41 +0800 Christian Urban more experiments with lifting
Wed, 11 Aug 2010 19:53:57 +0800 Christian Urban rsp for constructors
less more (0) -10 -3 tip