src/FOL/FOL.thy
changeset 3362 0b268cff9344
parent 0 a5a9c433f639
child 4093 5e8f3d57dee7