src/Doc/Implementation/Logic.thy
changeset 64986 b81a048960a3
parent 63680 6e1e8b5abbfa
child 65446 ed18feb34c07