src/FOL/FOL.thy
changeset 49158 ba50a6853a6c
parent 48891 c0eafbd55de3
child 51687 3d8720271ebf
equal deleted inserted replaced
49157:6407346b74c7 49158:ba50a6853a6c