| Wed, 10 Oct 2001 18:40:46 +0200 | berghofe | Removed unnecessary application of Drule.standard. | changeset | files |
| Wed, 10 Oct 2001 18:39:38 +0200 | berghofe | Fixed erroneous type constraint in token_translation function. | changeset | files |
| Wed, 10 Oct 2001 18:38:21 +0200 | berghofe | Exported output_with. | changeset | files |
| Wed, 10 Oct 2001 18:37:52 +0200 | berghofe | Tuned several functions to improve sharing of unchanged subproofs. | changeset | files |