src/Doc/Implementation/Logic.thy
changeset 58837 e84d900cd287
parent 58728 42398b610f86
child 59621 291934bac95e