aboutsummaryrefslogtreecommitdiff
path: root/src/Encoding
ModeNameSize
-rw-r--r--EncodingTheorems.v378logplain
-rw-r--r--ModularWordEncodingPre.v1462logplain
-rw-r--r--ModularWordEncodingTheorems.v2080logplain
-rw-r--r--PointEncodingPre.v9910logplain
-rw-r--r--PointEncodingTheorems.v6406logplain