| Mon, 07 Aug 2000 10:27:11 +0200 | paulson | added a dummy "thm list" argument to prove_conv for the new interface to | changeset | files |
| Mon, 07 Aug 2000 10:26:02 +0200 | paulson | new abstract syntax operations, used in ZF | changeset | files |
| Mon, 07 Aug 2000 10:25:12 +0200 | paulson | ZF arith | changeset | files |
| Sun, 06 Aug 2000 15:26:53 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 04 Aug 2000 23:02:11 +0200 | wenzelm | dummy_patterns moved to term.ML; | changeset | files |
| Fri, 04 Aug 2000 23:01:39 +0200 | wenzelm | added goal_args('); | changeset | files |
| Fri, 04 Aug 2000 23:00:15 +0200 | wenzelm | added int; | changeset | files |