src/ZF/QUniv.thy
changeset 1072 0140ff702b23
parent 753 ec86863e87c8
child 1401 0c439768f45c