src/FOL/ex/Quantifiers_Cla.thy
changeset 38924 fcd1d0457e27
parent 36319 8feb2c4bef1a
child 41777 1f7cbe39d425