| Thu, 09 Feb 2012 14:42:18 +0100 | blanchet | minor DFG fix | changeset | files |
| Thu, 09 Feb 2012 14:35:27 +0100 | blanchet | new SPASS slices | changeset | files |
| Thu, 09 Feb 2012 14:04:17 +0100 | blanchet | improved KBO weights -- beware of explicit applications | changeset | files |
| Thu, 09 Feb 2012 12:57:59 +0100 | blanchet | added possibility of generating KBO weights to DFG problems | changeset | files |
| Thu, 09 Feb 2012 09:36:30 +0100 | Cezary Kaliszyk | Generalize the compositional preservation theorems | changeset | files |
| Wed, 08 Feb 2012 01:49:33 +0100 | blanchet | use 'primrec' to define "rotate1", for uniformity (and to help first-order tools that rely on "Spec_Rules") | changeset | files |
| Wed, 08 Feb 2012 00:55:06 +0100 | blanchet | removed fact that confuses SPASS -- better rely on "rev_rev_ident", which is stronger and more ATP friendly | changeset | files |