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

Version 104 (27dd3aa)

v104-27dd3aa

Update status

Version 103 (a2cafc4)

v103-a2cafc4

Misc improvements

Version 102 (5f29197)

v102-5f29197

Morphisms