| Wed, 18 Oct 2000 23:40:58 +0200 | wenzelm | path_add "~~/src/HOL/Library"; | changeset | files |
| Wed, 18 Oct 2000 23:40:38 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 18 Oct 2000 23:40:17 +0200 | wenzelm | tuned declarations; | changeset | files |
| Wed, 18 Oct 2000 23:39:49 +0200 | wenzelm | avoid "_" and "^" (more robust); | changeset | files |
| Wed, 18 Oct 2000 23:39:19 +0200 | wenzelm | removed Acc and Multiset (see HOL/Library); | changeset | files |
| Wed, 18 Oct 2000 23:38:41 +0200 | wenzelm | moved to HOL/Library; | changeset | files |
| Wed, 18 Oct 2000 23:35:56 +0200 | wenzelm | MultisetOrder mmoved to HOL/Library; | changeset | files |
| Wed, 18 Oct 2000 23:35:08 +0200 | wenzelm | moved to HOL/LIbrary; | changeset | files |