| Wed, 29 Jun 2005 15:13:36 +0200 | wenzelm | no Syntax.internal on thesis; | changeset | files |
| Wed, 29 Jun 2005 15:13:35 +0200 | wenzelm | added print_mode three_buffersN and corresponding cond_print; | changeset | files |
| Wed, 29 Jun 2005 15:13:34 +0200 | wenzelm | cond_print for end-of-proof and calculational commands; | changeset | files |
| Wed, 29 Jun 2005 15:13:33 +0200 | wenzelm | added eq; | changeset | files |
| Wed, 29 Jun 2005 15:13:32 +0200 | wenzelm | pass thy as explicit argument (the old ref was not safe | changeset | files |
| Wed, 29 Jun 2005 15:13:31 +0200 | wenzelm | more efficient treatment of shyps and hyps (use ordered lists); | changeset | files |
| Wed, 29 Jun 2005 15:13:30 +0200 | wenzelm | Syntax.read thy; | changeset | files |