| Sat, 04 Sep 1999 21:13:01 +0200 | wenzelm | replaced ?? by ?; | changeset | files |
| Sat, 04 Sep 1999 21:12:15 +0200 | wenzelm | eliminated Syntax.binding; | changeset | files |
| Sat, 04 Sep 1999 21:08:38 +0200 | wenzelm | deactivated ProofContext.transfer_used_names; | changeset | files |
| Sat, 04 Sep 1999 21:07:12 +0200 | wenzelm | removed text vars; | changeset | files |
| Sat, 04 Sep 1999 21:06:20 +0200 | wenzelm | PureThy.have_thmss: "" replaces None; | changeset | files |
| Sat, 04 Sep 1999 21:05:25 +0200 | wenzelm | Library.equal_lists; | changeset | files |