src/Doc/ZF/IFOL_examples.thy
changeset 49081 092668a120cc
parent 48985 5386df44a037
child 51798 ad3a241def73