~james/split

ref: d902931be6c5fc32d850933c43265a84f976be3a split/proof/Protocol.thy -rw-r--r-- 4.5 KiB 
chore(import): snapshot james.dad.town/split at f044a95a6ba7