src/HOL/Prolog/Func.thy
changeset 11008 f7333f055ef6
parent 9015 8006e9009621
child 12338 de0f4a63baa5