src/ZF/UNITY/AllocBase.thy
changeset 51085 d90218288d51
parent 46954 d8b3412cdb99
child 58871 c399ae4b836f