| Thu, 29 Sep 2005 12:44:25 +0200 | paulson | moved concat_with_and to watcher.ML | changeset | files |
| Thu, 29 Sep 2005 12:43:40 +0200 | paulson | a name for empty_not_insert | changeset | files |
| Thu, 29 Sep 2005 12:33:26 +0200 | berghofe | Simplifier now removes flex-flex constraints from theorem returned by prover. | changeset | files |
| Thu, 29 Sep 2005 12:30:30 +0200 | berghofe | Optimized and exported flexflex_unique. | changeset | files |
| Thu, 29 Sep 2005 01:12:16 +0200 | wenzelm | make signature constraint actually work; | changeset | files |
| Thu, 29 Sep 2005 01:09:39 +0200 | wenzelm | activate signature constraints; | changeset | files |
| Thu, 29 Sep 2005 00:59:03 +0200 | wenzelm | HOL4 image is back; | changeset | files |
| Thu, 29 Sep 2005 00:59:02 +0200 | wenzelm | tuned default operation: use internal modify; | changeset | files |