===== from now on Mini_Test.java does NOT follow devel.of Protocol.thy: Mini_Test breaks
===== from now on Mini_Test.java does NOT follow devel.of Protocol.thy: Mini_Test breaks

wneuper/libisabelle,wneuper/libisabelle