~james/split

ref: 034f655e01705b2f81bd72540021f2aeef3ef441 split/Export.thy -rw-r--r-- 475 bytes 
feat(export): export checked pager transitions as executable ocaml