moved files

UniMath · Oct 3, 2016 · 7f4fc17 · 7f4fc17
1 parent dd9c9e5
commit 7f4fc17
Show file tree

Hide file tree

Showing 57 changed files with 0 additions and 0 deletions.
diff --git a/coq/Makefile → Makefile b/coq/Makefile → Makefile
diff --git a/coq/Makefile.old → Makefile.old b/coq/Makefile.old → Makefile.old
diff --git a/coq/TypeTheory/.dir-locals.el → TypeTheory/.dir-locals.el b/coq/TypeTheory/.dir-locals.el → TypeTheory/.dir-locals.el
diff --git a/coq/TypeTheory/ALV1/.package/files → TypeTheory/ALV1/.package/files b/coq/TypeTheory/ALV1/.package/files → TypeTheory/ALV1/.package/files
diff --git a/coq/TypeTheory/ALV1/CwF_RelUnivYoneda.v → TypeTheory/ALV1/CwF_RelUnivYoneda.v b/coq/TypeTheory/ALV1/CwF_RelUnivYoneda.v → TypeTheory/ALV1/CwF_RelUnivYoneda.v
diff --git a/...heory/ALV1/CwF_SplitTypeCat_Equivalence.v → ...heory/ALV1/CwF_SplitTypeCat_Equivalence.v b/...heory/ALV1/CwF_SplitTypeCat_Equivalence.v → ...heory/ALV1/CwF_SplitTypeCat_Equivalence.v
diff --git a/coq/TypeTheory/ALV1/CwF_SplitTypeCat_Maps.v → TypeTheory/ALV1/CwF_SplitTypeCat_Maps.v b/coq/TypeTheory/ALV1/CwF_SplitTypeCat_Maps.v → TypeTheory/ALV1/CwF_SplitTypeCat_Maps.v
diff --git a/coq/TypeTheory/ALV1/EquivCats_Q_q.v → TypeTheory/ALV1/EquivCats_Q_q.v b/coq/TypeTheory/ALV1/EquivCats_Q_q.v → TypeTheory/ALV1/EquivCats_Q_q.v
diff --git a/coq/TypeTheory/ALV1/README.md → TypeTheory/ALV1/README.md b/coq/TypeTheory/ALV1/README.md → TypeTheory/ALV1/README.md
diff --git a/coq/TypeTheory/ALV1/RelUnivStructure.v → TypeTheory/ALV1/RelUnivStructure.v b/coq/TypeTheory/ALV1/RelUnivStructure.v → TypeTheory/ALV1/RelUnivStructure.v
diff --git a/...TypeTheory/ALV1/RelUnivYonedaCompletion.v → TypeTheory/ALV1/RelUnivYonedaCompletion.v b/...TypeTheory/ALV1/RelUnivYonedaCompletion.v → TypeTheory/ALV1/RelUnivYonedaCompletion.v
diff --git a/coq/TypeTheory/ALV1/Structures.v → TypeTheory/ALV1/Structures.v b/coq/TypeTheory/ALV1/Structures.v → TypeTheory/ALV1/Structures.v
diff --git a/coq/TypeTheory/ALV1/Test.v → TypeTheory/ALV1/Test.v b/coq/TypeTheory/ALV1/Test.v → TypeTheory/ALV1/Test.v
diff --git a/coq/TypeTheory/ALV2/.package/files → TypeTheory/ALV2/.package/files b/coq/TypeTheory/ALV2/.package/files → TypeTheory/ALV2/.package/files
diff --git a/coq/TypeTheory/ALV2/README.md → TypeTheory/ALV2/README.md b/coq/TypeTheory/ALV2/README.md → TypeTheory/ALV2/README.md
diff --git a/coq/TypeTheory/ALV2/Structures_Cats.v → TypeTheory/ALV2/Structures_Cats.v b/coq/TypeTheory/ALV2/Structures_Cats.v → TypeTheory/ALV2/Structures_Cats.v
diff --git a/coq/TypeTheory/ALV2/Structures_Equiv_Cats.v → TypeTheory/ALV2/Structures_Equiv_Cats.v b/coq/TypeTheory/ALV2/Structures_Equiv_Cats.v → TypeTheory/ALV2/Structures_Equiv_Cats.v
diff --git a/coq/TypeTheory/ALV2/Structures_Equiv_Types.v → TypeTheory/ALV2/Structures_Equiv_Types.v b/coq/TypeTheory/ALV2/Structures_Equiv_Types.v → TypeTheory/ALV2/Structures_Equiv_Types.v
diff --git a/...peTheory/ALV2/Structures_Univalent_Cats.v → TypeTheory/ALV2/Structures_Univalent_Cats.v b/...peTheory/ALV2/Structures_Univalent_Cats.v → TypeTheory/ALV2/Structures_Univalent_Cats.v
diff --git a/coq/TypeTheory/Auxiliary/.package/files → TypeTheory/Auxiliary/.package/files b/coq/TypeTheory/Auxiliary/.package/files → TypeTheory/Auxiliary/.package/files
diff --git a/coq/TypeTheory/Auxiliary/Auxiliary.v → TypeTheory/Auxiliary/Auxiliary.v b/coq/TypeTheory/Auxiliary/Auxiliary.v → TypeTheory/Auxiliary/Auxiliary.v
diff --git a/coq/TypeTheory/Auxiliary/README.md → TypeTheory/Auxiliary/README.md b/coq/TypeTheory/Auxiliary/README.md → TypeTheory/Auxiliary/README.md
diff --git a/coq/TypeTheory/Auxiliary/UnicodeNotations.v → TypeTheory/Auxiliary/UnicodeNotations.v b/coq/TypeTheory/Auxiliary/UnicodeNotations.v → TypeTheory/Auxiliary/UnicodeNotations.v
diff --git a/coq/TypeTheory/Bicats/.package/files → TypeTheory/Bicats/.package/files b/coq/TypeTheory/Bicats/.package/files → TypeTheory/Bicats/.package/files
diff --git a/coq/TypeTheory/Bicats/Bicats.v → TypeTheory/Bicats/Bicats.v b/coq/TypeTheory/Bicats/Bicats.v → TypeTheory/Bicats/Bicats.v
diff --git a/coq/TypeTheory/Bicats/Displayed_Bicats.v → TypeTheory/Bicats/Displayed_Bicats.v b/coq/TypeTheory/Bicats/Displayed_Bicats.v → TypeTheory/Bicats/Displayed_Bicats.v
diff --git a/coq/TypeTheory/Categories/.package/files → TypeTheory/Categories/.package/files b/coq/TypeTheory/Categories/.package/files → TypeTheory/Categories/.package/files
diff --git a/coq/TypeTheory/Categories/category_FAM.v → TypeTheory/Categories/category_FAM.v b/coq/TypeTheory/Categories/category_FAM.v → TypeTheory/Categories/category_FAM.v
diff --git a/...eTheory/Categories/category_of_elements.v → TypeTheory/Categories/category_of_elements.v b/...eTheory/Categories/category_of_elements.v → TypeTheory/Categories/category_of_elements.v
diff --git a/...ypeTheory/Categories/ess_alg_categories.v → TypeTheory/Categories/ess_alg_categories.v b/...ypeTheory/Categories/ess_alg_categories.v → TypeTheory/Categories/ess_alg_categories.v
diff --git a/...eTheory/Categories/ess_and_gen_alg_cats.v → TypeTheory/Categories/ess_and_gen_alg_cats.v b/...eTheory/Categories/ess_and_gen_alg_cats.v → TypeTheory/Categories/ess_and_gen_alg_cats.v
diff --git a/coq/TypeTheory/Displayed_Cats/.package/files → TypeTheory/Displayed_Cats/.package/files b/coq/TypeTheory/Displayed_Cats/.package/files → TypeTheory/Displayed_Cats/.package/files
diff --git a/coq/TypeTheory/Displayed_Cats/Auxiliary.v → TypeTheory/Displayed_Cats/Auxiliary.v b/coq/TypeTheory/Displayed_Cats/Auxiliary.v → TypeTheory/Displayed_Cats/Auxiliary.v
diff --git a/...TypeTheory/Displayed_Cats/Constructions.v → TypeTheory/Displayed_Cats/Constructions.v b/...TypeTheory/Displayed_Cats/Constructions.v → TypeTheory/Displayed_Cats/Constructions.v
diff --git a/coq/TypeTheory/Displayed_Cats/Core.v → TypeTheory/Displayed_Cats/Core.v b/coq/TypeTheory/Displayed_Cats/Core.v → TypeTheory/Displayed_Cats/Core.v
diff --git a/coq/TypeTheory/Displayed_Cats/Equivalences.v → TypeTheory/Displayed_Cats/Equivalences.v b/coq/TypeTheory/Displayed_Cats/Equivalences.v → TypeTheory/Displayed_Cats/Equivalences.v
diff --git a/coq/TypeTheory/Displayed_Cats/Examples.v → TypeTheory/Displayed_Cats/Examples.v b/coq/TypeTheory/Displayed_Cats/Examples.v → TypeTheory/Displayed_Cats/Examples.v
diff --git a/coq/TypeTheory/Displayed_Cats/README.md → TypeTheory/Displayed_Cats/README.md b/coq/TypeTheory/Displayed_Cats/README.md → TypeTheory/Displayed_Cats/README.md
diff --git a/coq/TypeTheory/OtherDefs/.package/files → TypeTheory/OtherDefs/.package/files b/coq/TypeTheory/OtherDefs/.package/files → TypeTheory/OtherDefs/.package/files
diff --git a/coq/TypeTheory/OtherDefs/CwF_1.v → TypeTheory/OtherDefs/CwF_1.v b/coq/TypeTheory/OtherDefs/CwF_1.v → TypeTheory/OtherDefs/CwF_1.v
diff --git a/coq/TypeTheory/OtherDefs/CwF_Dybjer.v → TypeTheory/OtherDefs/CwF_Dybjer.v b/coq/TypeTheory/OtherDefs/CwF_Dybjer.v → TypeTheory/OtherDefs/CwF_Dybjer.v
diff --git a/coq/TypeTheory/OtherDefs/CwF_Pitts.v → TypeTheory/OtherDefs/CwF_Pitts.v b/coq/TypeTheory/OtherDefs/CwF_Pitts.v → TypeTheory/OtherDefs/CwF_Pitts.v
diff --git a/...peTheory/OtherDefs/CwF_Pitts_completion.v → TypeTheory/OtherDefs/CwF_Pitts_completion.v b/...peTheory/OtherDefs/CwF_Pitts_completion.v → TypeTheory/OtherDefs/CwF_Pitts_completion.v
diff --git a/coq/TypeTheory/OtherDefs/CwF_Pitts_natural.v → TypeTheory/OtherDefs/CwF_Pitts_natural.v b/coq/TypeTheory/OtherDefs/CwF_Pitts_natural.v → TypeTheory/OtherDefs/CwF_Pitts_natural.v
diff --git a/...TypeTheory/OtherDefs/CwF_Pitts_to_CwF_1.v → TypeTheory/OtherDefs/CwF_Pitts_to_CwF_1.v b/...TypeTheory/OtherDefs/CwF_Pitts_to_CwF_1.v → TypeTheory/OtherDefs/CwF_Pitts_to_CwF_1.v
diff --git a/coq/TypeTheory/OtherDefs/CwF_Pitts_to_DM.v → TypeTheory/OtherDefs/CwF_Pitts_to_DM.v b/coq/TypeTheory/OtherDefs/CwF_Pitts_to_DM.v → TypeTheory/OtherDefs/CwF_Pitts_to_DM.v
diff --git a/...peTheory/OtherDefs/CwF_Pitts_to_TypeCat.v → TypeTheory/OtherDefs/CwF_Pitts_to_TypeCat.v b/...peTheory/OtherDefs/CwF_Pitts_to_TypeCat.v → TypeTheory/OtherDefs/CwF_Pitts_to_TypeCat.v
diff --git a/...ry/OtherDefs/CwF_Pitts_to_TypeCat_to_DM.v → ...ry/OtherDefs/CwF_Pitts_to_TypeCat_to_DM.v b/...ry/OtherDefs/CwF_Pitts_to_TypeCat_to_DM.v → ...ry/OtherDefs/CwF_Pitts_to_TypeCat_to_DM.v
diff --git a/coq/TypeTheory/OtherDefs/DM.v → TypeTheory/OtherDefs/DM.v b/coq/TypeTheory/OtherDefs/DM.v → TypeTheory/OtherDefs/DM.v
diff --git a/coq/TypeTheory/OtherDefs/DM_to_TypeCat.v → TypeTheory/OtherDefs/DM_to_TypeCat.v b/coq/TypeTheory/OtherDefs/DM_to_TypeCat.v → TypeTheory/OtherDefs/DM_to_TypeCat.v
diff --git a/...ypeTheory/OtherDefs/DM_to_TypeCat_to_DM.v → TypeTheory/OtherDefs/DM_to_TypeCat_to_DM.v b/...ypeTheory/OtherDefs/DM_to_TypeCat_to_DM.v → TypeTheory/OtherDefs/DM_to_TypeCat_to_DM.v
diff --git a/coq/TypeTheory/OtherDefs/DM_truncated.v → TypeTheory/OtherDefs/DM_truncated.v b/coq/TypeTheory/OtherDefs/DM_truncated.v → TypeTheory/OtherDefs/DM_truncated.v
diff --git a/coq/TypeTheory/OtherDefs/TypeCat.v → TypeTheory/OtherDefs/TypeCat.v b/coq/TypeTheory/OtherDefs/TypeCat.v → TypeTheory/OtherDefs/TypeCat.v
diff --git a/...peTheory/OtherDefs/TypeCat_to_CwF_Pitts.v → TypeTheory/OtherDefs/TypeCat_to_CwF_Pitts.v b/...peTheory/OtherDefs/TypeCat_to_CwF_Pitts.v → TypeTheory/OtherDefs/TypeCat_to_CwF_Pitts.v
diff --git a/coq/TypeTheory/OtherDefs/TypeCat_to_DM.v → TypeTheory/OtherDefs/TypeCat_to_DM.v b/coq/TypeTheory/OtherDefs/TypeCat_to_DM.v → TypeTheory/OtherDefs/TypeCat_to_DM.v
diff --git a/coq/TypeTheory/README.md → TypeTheory/README.md b/coq/TypeTheory/README.md → TypeTheory/README.md
diff --git a/coq/build/Makefile-configuration-template → build/Makefile-configuration-template b/coq/build/Makefile-configuration-template → build/Makefile-configuration-template