| Sat, 29 Mar 2008 19:14:12 +0100 | wenzelm | commands 'use' and 'ML' now thy_decl; | changeset | files |
| Sat, 29 Mar 2008 19:14:11 +0100 | wenzelm | removed obsolete use_XXX; | changeset | files |
| Sat, 29 Mar 2008 19:14:10 +0100 | wenzelm | eliminated destructive/critical theorem database; | changeset | files |
| Sat, 29 Mar 2008 19:14:09 +0100 | wenzelm | certify wrt. dynamic context; | changeset | files |