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