libisabelle-protocol/protocol/Common.thy
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