src/FOL/ex/Prolog.thy
changeset 1868 836950047d85
parent 1473 e8d4606e6502
child 17245 1c519a3cca59