| 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 |
| Sat, 15 Oct 2005 00:08:06 +0200 | wenzelm | added primitive_text, succeed_text; | changeset | files |
| Sat, 15 Oct 2005 00:08:05 +0200 | wenzelm | goal statements: accomodate before_qed argument; | changeset | files |
| Sat, 15 Oct 2005 00:08:04 +0200 | wenzelm | goal statements: accomodate before_qed argument; | changeset | files |
| Sat, 15 Oct 2005 00:08:03 +0200 | wenzelm | added 'guess'; | changeset | files |