diff options
Diffstat (limited to '')
| -rw-r--r-- | hott/More_Types.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hott/More_Types.thy b/hott/More_Types.thy index 17789f8..d29d794 100644 --- a/hott/More_Types.thy +++ b/hott/More_Types.thy @@ -1,5 +1,5 @@ theory More_Types -imports Equivalence +imports Spartan begin |