Nominal/ROOT.ML
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