diff options
Diffstat (limited to 'HoTT_Base.thy')
| -rw-r--r-- | HoTT_Base.thy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/HoTT_Base.thy b/HoTT_Base.thy index 1b8c526..a229e83 100644 --- a/HoTT_Base.thy +++ b/HoTT_Base.thy @@ -1,6 +1,5 @@ (* Title: HoTT/HoTT_Base.thy Author: Josh Chen - Date: Aug 2018 Basic setup and definitions of a homotopy type theory object logic with a cumulative universe hierarchy à la Russell. *) |