Quot/quotient_typ.ML
Sun, 20 Dec 2009 00:26:53 +0100 Christian Urban renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
Sat, 19 Dec 2009 22:21:51 +0100 Christian Urban avoided global "open"s - replaced by local "open"s
less more (0) -2 tip