Thu, 01 Feb 2001 20:53:13 +0100 | oheimb | converted to Isar, simplifying recursion on class hierarchy | changeset | files |
Thu, 01 Feb 2001 20:51:48 +0100 | oheimb | converted to Isar therory, adding attributes complete_split and split_format | changeset | files |