Nominal/nominal_dt_data.ML
2011-12-15 Christian Urban updated to lates changes in the datatype package
2011-07-08 Christian Urban some code refactoring
2011-07-07 Christian Urban code refactoring; introduced a record for raw_dt_info
2011-06-29 Christian Urban combined distributed data for alpha in alpha_result (partially done)
2011-06-23 Christian Urban added file
less more (0) tip