| Thu, 27 Jul 2006 23:28:23 +0200 | wenzelm | declare_term_names: cover types as well; | changeset | files |
| Thu, 27 Jul 2006 15:33:21 +0200 | wenzelm | eliminated obsolete freeze_thaw; | changeset | files |
| Thu, 27 Jul 2006 14:21:57 +0200 | webertj | type annotation added to make SML/NJ happy | changeset | files |