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 |