diff options
Diffstat (limited to 'HoTT.thy')
-rw-r--r-- | HoTT.thy | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/HoTT.thy b/HoTT.thy new file mode 100644 index 0000000..405364e --- /dev/null +++ b/HoTT.thy @@ -0,0 +1,15 @@ +(* Title: HoTT/HoTT.thy + Author: Josh Chen + +Load all the component modules for the HoTT logic. +*) + +theory HoTT imports + HoTT_Base + Prod Sum + +begin + +\<comment> \<open>Maybe tactic setup can go in here?\<close> + +end
\ No newline at end of file |