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 |