Tue, 22 Feb 2022 12:36:01 +0100 | blanchet | handle Zipperposition definitions in Isar proof construction | changeset | files |
Tue, 22 Feb 2022 09:58:25 +0100 | blanchet | parse Zipperposition definitions | changeset | files |
Mon, 21 Feb 2022 21:19:45 +0100 | wenzelm | clarified URL; | changeset | files |