| Mon, 24 Jul 2000 23:59:46 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 24 Jul 2000 23:59:32 +0200 | wenzelm | changed deps; | changeset | files |
| Mon, 24 Jul 2000 23:59:08 +0200 | wenzelm | rename_numerals: use implicit theory context; | changeset | files |
| Mon, 24 Jul 2000 23:58:49 +0200 | wenzelm | avoid referencing thy value; | changeset | files |
| Mon, 24 Jul 2000 23:58:19 +0200 | wenzelm | avoid referencing thy value; | changeset | files |
| Mon, 24 Jul 2000 23:57:02 +0200 | wenzelm | avoid referencing thy value; | changeset | files |
| Mon, 24 Jul 2000 23:53:51 +0200 | wenzelm | simpset_of NatDef.thy (why anyway?); | changeset | files |
| Mon, 24 Jul 2000 23:52:55 +0200 | wenzelm | avoid referencing thy value; | changeset | files |