doc-src/TutorialI/Protocol/Message_lemmas.ML
changeset 23659 4b702ac388d6
parent 22862 3dd306cb98d2
child 23733 3f8ad7418e55