Wed, 18 Oct 2000 23:41:28 +0200 | wenzelm | use Accessible_Part from HOL/Library; | changeset | files |
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 |