| Sun, 28 Dec 1997 14:56:44 +0100 | wenzelm | renamed Symtab.null to Symtab.empty; | changeset | files |
| Sun, 28 Dec 1997 14:56:09 +0100 | wenzelm | added >> : (theory -> theory) -> unit; | changeset | files |
| Sun, 28 Dec 1997 14:55:34 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 28 Dec 1997 14:55:20 +0100 | wenzelm | replaced symtab.ML by table.ML; | changeset | files |
| Sun, 28 Dec 1997 14:54:38 +0100 | wenzelm | renamed (is_)null to (is_)empty; | changeset | files |
| Sat, 27 Dec 1997 21:49:45 +0100 | wenzelm | Generic tables (lacking delete operation). Implemented as 2-3 trees. | changeset | files |
| Wed, 24 Dec 1997 12:38:40 +0100 | wenzelm | tuned; | changeset | files |