doc-src/IsarRef/Thy/ZF_Specific.thy
changeset 48520 6d4ea2efa64b
parent 42705 528a2ba8fa74
equal deleted inserted replaced
48519:5deda0549f97 48520:6d4ea2efa64b