| Mon, 12 Nov 2001 10:43:25 +0100 | berghofe | Renamed some bound variables due to changes in simplifier. | changeset | files |
| Mon, 12 Nov 2001 10:39:42 +0100 | berghofe | Fixed proof depending on strange behaviour of rename_bvs. | changeset | files |
| Mon, 12 Nov 2001 10:37:36 +0100 | berghofe | Renamed some bound variables due to changes in simplifier. | changeset | files |
| Sun, 11 Nov 2001 21:38:54 +0100 | wenzelm | present multi_result; | changeset | files |