src/HOL/Imperative_HOL/Mrec.thy
changeset 37947 844977c7abeb
parent 37792 ba0bc31b90d7
child 39754 150f831ce4a3