| Sat, 15 Oct 2005 00:08:13 +0200 | wenzelm | added guess; | changeset | files |
| Sat, 15 Oct 2005 00:08:12 +0200 | wenzelm | added antiquotations ML_type, ML_struct; | changeset | files |
| Sat, 15 Oct 2005 00:08:11 +0200 | wenzelm | use perl for test/stat; | changeset | files |
| 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 |
| 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 |
| Sat, 15 Oct 2005 00:08:02 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Oct 2005 00:08:01 +0200 | wenzelm | added no_facts; | changeset | files |
| Sat, 15 Oct 2005 00:08:00 +0200 | wenzelm | tuned comments; | changeset | files |
| Sat, 15 Oct 2005 00:07:59 +0200 | wenzelm | updated; | changeset | files |