src/ZF/ex/PropLog.thy
changeset 532 851df239ac8b
parent 515 abcc438e7c27
child 753 ec86863e87c8