wneuper/isa: libisabelle-protocol/ROOT@3a60188d9cc3

libisabelle-protocol/ROOT

author	Walther Neuper <wneuper@ist.tugraz.at>
	Tue, 07 Feb 2017 08:57:42 +0100
changeset 59316	3a60188d9cc3
parent 59216	f4693c6f4bb2
permissions	-rw-r--r--

separate structure Model : MODEL

     1 session Protocol = Classy +

     2   theories

     3     "protocol/Protocol"

     4     "protocol/Codec_Test"

     5     "operations/Basic"

     7 session "HOL-Protocol" = "HOL-Classy" +

     8   theories

     9     "protocol/Protocol"

    10     "protocol/Codec_Test"

    11     "operations/Basic"

    12     "operations/HOL_Operations"

wneuper/isa