Nominal/nominal_dt_alpha.ML
Thu, 07 Jul 2011 16:16:42 +0200 Christian Urban code refactoring; introduced a record for raw_dt_info
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 -4 tip