doc-src/TutorialI/Protocol/Message_lemmas.ML
changeset 22910 54d231cbc19a
parent 22862 3dd306cb98d2
child 23733 3f8ad7418e55