1 files changed, 7 insertions, 6 deletions

diff --git a/HoTT.thy b/HoTT.thy
index 405364e..b500150 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -4,12 +4,13 @@
 Load all the component modules for the HoTT logic.
 *)
 
-theory HoTT imports
+theory HoTT
+
+imports
   HoTT_Base
-  Prod Sum
+  HoTT_Methods
+  Prod
+  Sum
 
 begin
-
-\<comment> \<open>Maybe tactic setup can go in here?\<close>
-
-end
\ No newline at end of file
+end