| Thu, 18 Oct 2001 21:05:35 +0200 | wenzelm | moved atomize stuff to theory HOL; | changeset | files |
| Thu, 18 Oct 2001 21:03:43 +0200 | wenzelm | legacy interfaces for axclass instantiation; | changeset | files |
| Thu, 18 Oct 2001 21:02:46 +0200 | wenzelm | added map_base; | changeset | files |