Fri, 10 Feb 2012 16:33:58 +0100 | blanchet | update SPASS slices | changeset | files |
Fri, 10 Feb 2012 09:47:59 +0100 | Cezary Kaliszyk | more specification of the quotient package in IsarRef | changeset | files |
Fri, 10 Feb 2012 09:02:51 +0100 | Cezary Kaliszyk | specification of the quotient package | changeset | files |
Thu, 09 Feb 2012 16:00:04 +0100 | blanchet | tune KBO weight code | changeset | files |