HoTT.thy


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

(*  Title:  HoTT/HoTT.thy
    Author: Josh Chen

Load all the component modules for the HoTT logic.
*)

theory HoTT

imports
  HoTT_Base
  HoTT_Methods
  Prod
  Sum

begin
end