changeset 59209 | 907ce624bd20 |
parent 59208 | 109e995e5e3b |
child 59210 | df727a458e7c |
1.1 --- a/libisabelle-protocol/isabelle-2015/ROOT Thu Jan 21 17:29:33 2016 +0100 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,7 +0,0 @@ 1.4 -session Protocol2015 = Codec + 1.5 - theories 1.6 - Protocol 1.7 - 1.8 -session "HOL-Protocol2015" = "HOL-Codec" + 1.9 - theories 1.10 - Protocol