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
less more (0) -3 tip