| Fri, 17 Mar 2000 16:30:03 +0100 | wenzelm | kill: include kill_proof; | changeset | files |
| Fri, 17 Mar 2000 16:29:35 +0100 | wenzelm | fixed untag; | changeset | files |
| Fri, 17 Mar 2000 16:28:59 +0100 | wenzelm | untag: remove all tags of given name; | changeset | files |
| Fri, 17 Mar 2000 16:27:28 +0100 | wenzelm | no begin_goal marker (interferes with "latex" etc. output; useless anyway?) | changeset | files |
| Fri, 17 Mar 2000 16:26:43 +0100 | wenzelm | next_block: allow in non-goal blocks as well (experimental); | changeset | files |
| Fri, 17 Mar 2000 15:51:13 +0100 | paulson | re-ordered the theorems | changeset | files |
| Fri, 17 Mar 2000 15:49:50 +0100 | paulson | better error messages, especially for multiple types | changeset | files |