Version 116 (3c4d61d)

v116-3c4d61d

Stuff

Version 115 (f1a6bf0)

v115-f1a6bf0

Font for CI?

Version 112 (396523e)

v112-396523e

Stuff

Version 111 (66eb23c)

v111-66eb23c

Funny diagram

Version 110 (70fad56)

v110-70fad56

Restructure

Version 109 (48bbddc)

v109-48bbddc

Set as natural model

Version 108 (3e54972)

v108-3e54972

Natural models

Version 107 (597f153)

v107-597f153

Misc improvements

Version 106 (45cdddc)

v106-45cdddc

Gluing construction

Version 105 (44e9cb0)

v105-44e9cb0

Normalization for STLC