| Tue, 01 Jun 2010 10:48:38 +0200 | berghofe | Use Proofterm.forall_intr_proof' instead of locally defined forall_intr_prf. | changeset | files |
| Tue, 01 Jun 2010 10:46:47 +0200 | berghofe | - Added extra flag to read_term and read_proof functions that allows to parse (proof)terms in which | changeset | files |
| Tue, 01 Jun 2010 11:37:41 +0200 | wenzelm | merged | changeset | files |