src/ZF/UNITY/Follows.thy
changeset 51553 63327f679cff
parent 46823 57bf0cecb366
child 58871 c399ae4b836f
equal deleted inserted replaced
51552:c713c9505f68 51553:63327f679cff