ex/pl0.thy
changeset 68 acad709cad5d
parent 56 385d51d74f71