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 |
Tue, 01 Jun 2010 11:18:51 +0200 | haftmann | merged | changeset | files |
Tue, 01 Jun 2010 10:30:54 +0200 | haftmann | corrected printing of characters | changeset | files |
Tue, 01 Jun 2010 10:30:53 +0200 | haftmann | corrected implementation | changeset | files |