| 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 |