| Fri, 05 Dec 1997 18:46:18 +0100 | wenzelm | instantiate'; | changeset | files |
| Fri, 05 Dec 1997 18:45:19 +0100 | wenzelm | changed typed_print_translation; | changeset | files |
| Fri, 05 Dec 1997 18:44:56 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Dec 1997 17:31:01 +0100 | wenzelm | nat_cancel enabled by default; | changeset | files |
| Fri, 05 Dec 1997 17:20:25 +0100 | wenzelm | adapted proofs to cope with simprocs nat_cancel; | changeset | files |
| Fri, 05 Dec 1997 17:19:38 +0100 | wenzelm | improved arbitrary_def: we now really don't know nothing about it! | changeset | files |
| Fri, 05 Dec 1997 17:16:22 +0100 | wenzelm | use_thy no longer requires writable current directory; | changeset | files |
| Fri, 05 Dec 1997 17:14:36 +0100 | wenzelm | adapted proofs to cope with simprocs nat_cancel (by Stefan Berghofer); | changeset | files |