~james/span

ref: a68ad347f48eb214044370b3ca67d33d9b3c9a6d span/Encoding.thy l--------- 16 bytes
a68ad347 — james initial commit 11 days ago 
                                                                                
1

src/Encoding.thy