src/ZF/AC/WO1_AC.thy
changeset 27300 4cb3101d2bf7
parent 16417 9bc16273c2d4
child 27678 85ea2be46c71