| 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 |
| Sat, 29 Mar 2008 19:14:08 +0100 | wenzelm | added map_theory_result, map_proof_result; | changeset | files |
| Sat, 29 Mar 2008 19:14:07 +0100 | wenzelm | certify wrt. dynamic context; | changeset | files |
| Sat, 29 Mar 2008 19:14:06 +0100 | wenzelm | eliminated non-linear access to thy1 and thy12c; | changeset | files |
| Sat, 29 Mar 2008 19:14:05 +0100 | wenzelm | replaced 'ML' by diagnostic 'ML_command'; | changeset | files |
| Sat, 29 Mar 2008 19:14:03 +0100 | wenzelm | updated generated file; | changeset | files |