src/HOL/Prolog/HOHH.ML
changeset 11008 f7333f055ef6
parent 9015 8006e9009621
child 13208 965f95a3abd9