| Wed, 29 Jun 2005 15:13:41 +0200 | wenzelm | proper treatment of advanced trfuns: pass thy argument; | changeset | files |
| Wed, 29 Jun 2005 15:13:40 +0200 | wenzelm | accomodate advanced trfuns; | changeset | files |
| Wed, 29 Jun 2005 15:13:39 +0200 | wenzelm | removed obsolete (un)fold_ast2; | changeset | files |
| Wed, 29 Jun 2005 15:13:38 +0200 | wenzelm | Drule.implies_intr_hyps; | changeset | files |
| Wed, 29 Jun 2005 15:13:37 +0200 | wenzelm | added print': print depending on print_mode; | changeset | files |
| 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 |