| 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 |