Nominal/nominal_dt_alpha.ML
Thu, 30 Jun 2011 02:19:59 +0100 Christian Urban more code refactoring
Wed, 29 Jun 2011 23:08:44 +0100 Christian Urban combined distributed data for alpha in alpha_result (partially done)
Wed, 29 Jun 2011 19:21:26 +0100 Christian Urban moved Classical and Let temporarily into a section where "sorry" is allowed; this makes all test go through
less more (0) -30 -10 -3 tip