~james/split

ref: 087436dffa8c479396bd36f7908df837ba49f487 split/Model.thy -rw-r--r-- 5.7 KiB 
feat(model): formalise writable frame exclusivity