| Fri, 19 Oct 2001 21:59:33 +0200 | wenzelm | improved default dependencies; | changeset | files |
| Fri, 19 Oct 2001 12:17:04 +0200 | wenzelm | revert to proper version (!); | changeset | files |
| Thu, 18 Oct 2001 21:27:47 +0200 | wenzelm | GPLed; | changeset | files |
| Thu, 18 Oct 2001 21:22:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 Oct 2001 21:07:29 +0200 | wenzelm | use abstract product type instead of datatype; | changeset | files |
| 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 |