| Sat, 15 Oct 2005 00:08:10 +0200 | wenzelm | export strip_params; | changeset | files |
| Sat, 15 Oct 2005 00:08:09 +0200 | wenzelm | note_thmss, read/cert_vars etc.: natural argument order; | changeset | files |
| Sat, 15 Oct 2005 00:08:08 +0200 | wenzelm | goal statements: before_qed argument; | changeset | files |
| Sat, 15 Oct 2005 00:08:07 +0200 | wenzelm | added 'guess', which derives the obtained context from the course of reasoning; | changeset | files |