Fri, 15 Jan 2010 14:43:00 +0100 | berghofe | merged | changeset | files |
Fri, 15 Jan 2010 13:37:41 +0100 | berghofe | Eliminated is_open option of Rule_Cases.make_nested/make_common; | changeset | files |
Sun, 10 Jan 2010 18:43:45 +0100 | berghofe | Adapted to changes in induct method. | changeset | files |