diff options
Diffstat (limited to 'HoTT.thy')
-rw-r--r-- | HoTT.thy | 17 |
1 files changed, 13 insertions, 4 deletions
@@ -7,10 +7,19 @@ Load all the component modules for the HoTT logic. theory HoTT imports - HoTT_Base - HoTT_Methods - Prod - Sum + +(* Basic theories *) +HoTT_Base +HoTT_Methods + +(* Types *) +Equal +Prod +Sum + +(* Additional properties *) +EqualProps +Proj begin end |