Nominal-General/nominal_eqvt.ML
Tue, 01 Jun 2010 15:21:01 +0200 Christian Urban equivariance done
Fri, 21 May 2010 10:42:53 +0200 Cezary Kaliszyk Renamings
less more (0) -10 -2 tip