src/FOL/FOL.thy
changeset 3206 a3de7f32728c
parent 0 a5a9c433f639
child 4093 5e8f3d57dee7