From c93932c689640a530de946f35a0a9dc82e56e776 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Tue, 18 Sep 2018 11:46:04 +0200
Subject: Load Univalence by default

---
 HoTT.thy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/HoTT.thy b/HoTT.thy
index 0e7a674..38097b1 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -24,6 +24,7 @@ Unit
 (* Derived definitions and properties *)
 EqualProps
 Proj
+Univalence
 
 begin
 
-- 
cgit v1.2.3