| Mon, 20 Jun 2005 22:14:09 +0200 | wenzelm | added begin_theory, end_theory; | changeset | files |
| Mon, 20 Jun 2005 22:14:08 +0200 | wenzelm | added certify_prop, cert_term, cert_prop; | changeset | files |
| Mon, 20 Jun 2005 22:14:07 +0200 | wenzelm | datatype thmref = Name ... | NameSelection ...; | changeset | files |