| Wed, 04 Mar 2009 11:05:02 +0100 | blanchet | Merge. | changeset | files |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | changeset | files |
| Wed, 04 Mar 2009 10:43:39 +0100 | blanchet | Made Refute.norm_rhs public, so I can use it in Nitpick. | changeset | files |
| Sun, 01 Mar 2009 18:40:16 +0100 | blanchet | Added "nitpick_const_def" attribute, for overriding the definition axiom of a constant. | changeset | files |
| Tue, 24 Feb 2009 16:12:27 +0100 | blanchet | Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number. | changeset | files |
| Wed, 04 Mar 2009 10:47:35 +0100 | nipkow | merged | changeset | files |
| Wed, 04 Mar 2009 10:47:20 +0100 | nipkow | Made Option a separate theory and renamed option_map to Option.map | changeset | files |