| Tue, 27 Aug 2002 16:41:01 +0200 | wenzelm | disallow duplicate fact bindings for drafts (i.e. within new-style theory files); | changeset | files |
| Tue, 27 Aug 2002 15:40:58 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 27 Aug 2002 15:40:33 +0200 | wenzelm | avoid duplicate fact bindings; | changeset | files |
| Tue, 27 Aug 2002 15:39:39 +0200 | wenzelm | removed IsarTut; | changeset | files |
| Tue, 27 Aug 2002 11:09:35 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Tue, 27 Aug 2002 11:09:33 +0200 | wenzelm | avoid duplicate fact bindings; | changeset | files |
| Tue, 27 Aug 2002 11:07:54 +0200 | wenzelm | check_file: disallow current dir (typically ""); | changeset | files |
| Tue, 27 Aug 2002 11:07:01 +0200 | wenzelm | simplified results; | changeset | files |
| Tue, 27 Aug 2002 11:06:45 +0200 | wenzelm | simplified results; | changeset | files |
| Tue, 27 Aug 2002 11:06:20 +0200 | wenzelm | Thm.proof_of; | changeset | files |
| Tue, 27 Aug 2002 11:06:07 +0200 | wenzelm | check_goal: produce error instead of warning; | changeset | files |
| Tue, 27 Aug 2002 11:05:31 +0200 | wenzelm | added proof_of; | changeset | files |
| Tue, 27 Aug 2002 11:05:13 +0200 | wenzelm | thms/axms_of_proof: proper handling of MinProof; | changeset | files |
| Tue, 27 Aug 2002 11:04:27 +0200 | wenzelm | result dependency output; | changeset | files |