~james/span

ref: a68ad347f48eb214044370b3ca67d33d9b3c9a6d span/src/Encoding.thy -rw-r--r-- 5.0 KiB 
initial commit