src/HOL/WF_Rel.ML
changeset 4537 4e835bd9fada
parent 4089 96fba19bcbe2
child 4643 1b40fcac5a09