Permalink
Browse files

moved files

  • Loading branch information...
benediktahrens committed Oct 3, 2016
1 parent dd9c9e5 commit 7f4fc179fe1033a4ea9cbed9ab669d0293cd1550
Showing with 0 additions and 0 deletions.
  1. 0 {coq → }/Makefile
  2. 0 {coq → }/Makefile.old
  3. 0 {coq → }/TypeTheory/.dir-locals.el
  4. 0 {coq → }/TypeTheory/ALV1/.package/files
  5. 0 {coq → }/TypeTheory/ALV1/CwF_RelUnivYoneda.v
  6. 0 {coq → }/TypeTheory/ALV1/CwF_SplitTypeCat_Equivalence.v
  7. 0 {coq → }/TypeTheory/ALV1/CwF_SplitTypeCat_Maps.v
  8. 0 {coq → }/TypeTheory/ALV1/EquivCats_Q_q.v
  9. 0 {coq → }/TypeTheory/ALV1/README.md
  10. 0 {coq → }/TypeTheory/ALV1/RelUnivStructure.v
  11. 0 {coq → }/TypeTheory/ALV1/RelUnivYonedaCompletion.v
  12. 0 {coq → }/TypeTheory/ALV1/Structures.v
  13. 0 {coq → }/TypeTheory/ALV1/Test.v
  14. 0 {coq → }/TypeTheory/ALV2/.package/files
  15. 0 {coq → }/TypeTheory/ALV2/README.md
  16. 0 {coq → }/TypeTheory/ALV2/Structures_Cats.v
  17. 0 {coq → }/TypeTheory/ALV2/Structures_Equiv_Cats.v
  18. 0 {coq → }/TypeTheory/ALV2/Structures_Equiv_Types.v
  19. 0 {coq → }/TypeTheory/ALV2/Structures_Univalent_Cats.v
  20. 0 {coq → }/TypeTheory/Auxiliary/.package/files
  21. 0 {coq → }/TypeTheory/Auxiliary/Auxiliary.v
  22. 0 {coq → }/TypeTheory/Auxiliary/README.md
  23. 0 {coq → }/TypeTheory/Auxiliary/UnicodeNotations.v
  24. 0 {coq → }/TypeTheory/Bicats/.package/files
  25. 0 {coq → }/TypeTheory/Bicats/Bicats.v
  26. 0 {coq → }/TypeTheory/Bicats/Displayed_Bicats.v
  27. 0 {coq → }/TypeTheory/Categories/.package/files
  28. 0 {coq → }/TypeTheory/Categories/category_FAM.v
  29. 0 {coq → }/TypeTheory/Categories/category_of_elements.v
  30. 0 {coq → }/TypeTheory/Categories/ess_alg_categories.v
  31. 0 {coq → }/TypeTheory/Categories/ess_and_gen_alg_cats.v
  32. 0 {coq → }/TypeTheory/Displayed_Cats/.package/files
  33. 0 {coq → }/TypeTheory/Displayed_Cats/Auxiliary.v
  34. 0 {coq → }/TypeTheory/Displayed_Cats/Constructions.v
  35. 0 {coq → }/TypeTheory/Displayed_Cats/Core.v
  36. 0 {coq → }/TypeTheory/Displayed_Cats/Equivalences.v
  37. 0 {coq → }/TypeTheory/Displayed_Cats/Examples.v
  38. 0 {coq → }/TypeTheory/Displayed_Cats/README.md
  39. 0 {coq → }/TypeTheory/OtherDefs/.package/files
  40. 0 {coq → }/TypeTheory/OtherDefs/CwF_1.v
  41. 0 {coq → }/TypeTheory/OtherDefs/CwF_Dybjer.v
  42. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts.v
  43. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts_completion.v
  44. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts_natural.v
  45. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts_to_CwF_1.v
  46. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts_to_DM.v
  47. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts_to_TypeCat.v
  48. 0 {coq → }/TypeTheory/OtherDefs/CwF_Pitts_to_TypeCat_to_DM.v
  49. 0 {coq → }/TypeTheory/OtherDefs/DM.v
  50. 0 {coq → }/TypeTheory/OtherDefs/DM_to_TypeCat.v
  51. 0 {coq → }/TypeTheory/OtherDefs/DM_to_TypeCat_to_DM.v
  52. 0 {coq → }/TypeTheory/OtherDefs/DM_truncated.v
  53. 0 {coq → }/TypeTheory/OtherDefs/TypeCat.v
  54. 0 {coq → }/TypeTheory/OtherDefs/TypeCat_to_CwF_Pitts.v
  55. 0 {coq → }/TypeTheory/OtherDefs/TypeCat_to_DM.v
  56. 0 {coq → }/TypeTheory/README.md
  57. 0 {coq → }/build/Makefile-configuration-template
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 comments on commit 7f4fc17

Please sign in to comment.