Nominal/ROOT.ML
Sun, 04 Apr 2010 21:39:28 +0200 Christian Urban separated general nominal theory into separate folder
Sat, 03 Apr 2010 22:31:11 +0200 Christian Urban added README and moved examples into separate directory
Fri, 26 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Removed remaining cheats + some cleaning.
Wed, 24 Mar 2010 12:53:39 +0100 Christian Urban some tuning; possible fix for strange paper generation
less more (0) -4 tip