~james/split

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