src/FOL/ex/Classical.thy
changeset 41648 6d736d983d5c
parent 36319 8feb2c4bef1a
child 42789 3a84b6947932