Nominal/ROOT.ML
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation
2010-03-23 Cezary Kaliszyk More modification needed for compilation
2010-03-17 Christian Urban temporarily disabled tests in Nominal/ROOT
2010-02-25 Cezary Kaliszyk Split Terms into separate files and add them to tests.
2010-02-25 Christian Urban added IsaMakefile...but so far included only a test for the parser
less more (0) tip