doc-src/TutorialI/Protocol/Message_lemmas.ML
changeset 23024 70435ffe077d
parent 22862 3dd306cb98d2
child 23733 3f8ad7418e55