wneuper/isa: libisabelle-protocol/ROOT@f4693c6f4bb2

libisabelle-protocol/ROOT

author	Walther Neuper <wneuper@ist.tugraz.at>
	Wed, 06 Apr 2016 16:56:47 +0200
changeset 59216	f4693c6f4bb2
permissions	-rw-r--r--

update libisabelle-0.2.2 to libisabelle 0.3.3

Note: probably the dependency between
Protocol.thy and Isac_Protocol.thy need to be reverted

     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