diff options
| author | Josh Chen | 2020-05-25 19:37:57 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-25 19:37:57 +0200 |
| commit | eee7d9771c3acd4a45ece85fd9a0bf8f7a46e0e7 (patch) | |
| tree | af91d4d6635ccf65ac6bd7a89f799892cbe6963b /hott/HoTT.thy | |
| parent | c19533acfad3bbe603cd8a3d176e8b14f477573a (diff) | |
more reorganizing
Diffstat (limited to '')
| -rw-r--r-- | hott/HoTT.thy | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/hott/HoTT.thy b/hott/HoTT.thy deleted file mode 100644 index 0b3040c..0000000 --- a/hott/HoTT.thy +++ /dev/null @@ -1,10 +0,0 @@ -theory HoTT -imports - Identity - Equivalence - More_Types - Nat - -begin - -end |