| 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 |