~james/span

ref: 0c6f163a0c6d0b333b095d5f0b629b1709d3bff4 span/src/Encoding.thy -rw-r--r-- 5.7 KiB 
chore(import): snapshot james.dad.town/span at 868a68649c22