Nominal/ROOT.ML
Wed, 24 Mar 2010 12:53:39 +0100 Christian Urban some tuning; possible fix for strange paper generation
Tue, 23 Mar 2010 09:34:32 +0100 Cezary Kaliszyk More modification needed for compilation
Wed, 17 Mar 2010 17:10:19 +0100 Christian Urban temporarily disabled tests in Nominal/ROOT
less more (0) -3 tip