| Tue, 12 Dec 2000 11:59:25 +0100 | paulson | deleting unused rules | changeset | files |
| Tue, 12 Dec 2000 11:58:44 +0100 | paulson | greater use of overloaded rules (order_less_imp_le not zless_imp_zle, ...) | changeset | files |
| Tue, 12 Dec 2000 11:57:33 +0100 | paulson | auto-updated | changeset | files |
| Mon, 11 Dec 2000 20:11:57 +0100 | wenzelm | "translations": allow harpoons; | changeset | files |
| Mon, 11 Dec 2000 20:11:11 +0100 | wenzelm | moved "_update_name" to HOL/Record; | changeset | files |
| Mon, 11 Dec 2000 20:10:42 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 11 Dec 2000 20:10:18 +0100 | wenzelm | added "_update_name" and parse_translation; | changeset | files |