src/HOL/Prolog/Func.thy
changeset 22744 5cbe966d67a2
parent 21425 c11ab38b78a7
child 34974 18b41bba42b5