| Sun, 29 Nov 1998 13:15:17 +0100 | wenzelm | eliminated "Trying to recover ..." msg; | changeset | files |
| Sun, 29 Nov 1998 13:14:45 +0100 | wenzelm | added oct_char; | changeset | files |
| Sun, 29 Nov 1998 13:13:57 +0100 | wenzelm | method brute_force = ALLGOALS force_tac; | changeset | files |
| Fri, 27 Nov 1998 17:01:21 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 27 Nov 1998 17:00:30 +0100 | nipkow | At last: linear arithmetic for nat! | changeset | files |
| Fri, 27 Nov 1998 16:54:59 +0100 | nipkow | Replaced the puny nat_transitive.ML by the general fast_lin_arith.ML. | changeset | files |
| Fri, 27 Nov 1998 16:46:01 +0100 | paulson | fixed a link | changeset | files |