From dae2aeb605449f5bc14d376b4b0baad6250e6bdb Mon Sep 17 00:00:00 2001 From: Jakob von Raumer Date: Thu, 11 Dec 2014 23:30:05 -0500 Subject: [PATCH] chore(hott) fix file endings --- hott/algebra/{binary.lean => binary.hlean} | 0 hott/algebra/category/{basic.lean => basic.hlean} | 0 hott/algebra/{group.lean => group.hlean} | 0 hott/algebra/{groupoid.lean => groupoid.hlean} | 0 hott/algebra/precategory/{basic.lean => basic.hlean} | 0 .../precategory/{constructions.lean => constructions.hlean} | 0 hott/algebra/precategory/{functor.lean => functor.hlean} | 0 hott/algebra/precategory/{iso.lean => iso.hlean} | 0 hott/algebra/precategory/{morphism.lean => morphism.hlean} | 0 .../{natural_transformation.lean => natural_transformation.hlean} | 0 hott/algebra/{relation.lean => relation.hlean} | 0 hott/axioms/{funext.lean => funext.hlean} | 0 hott/{default.lean => default.hlean} | 0 hott/{equiv_precomp.lean => equiv_precomp.hlean} | 0 hott/init/{equiv.lean => equiv.hlean} | 0 hott/init/{funext_from_ua.lean => funext_from_ua.hlean} | 0 hott/init/{funext_varieties.lean => funext_varieties.hlean} | 0 hott/{path.lean => init/path.hlean} | 0 hott/{axioms/ua.lean => init/ua.hlean} | 0 hott/{logic.lean => logic.hlean} | 0 hott/{pointed.lean => pointed.hlean} | 0 hott/{trunc.lean => trunc.hlean} | 0 hott/types/{W.lean => W.hlean} | 0 hott/types/{pi.lean => pi.hlean} | 0 hott/types/{prod.lean => prod.hlean} | 0 hott/types/{sigma.lean => sigma.hlean} | 0 26 files changed, 0 insertions(+), 0 deletions(-) rename hott/algebra/{binary.lean => binary.hlean} (100%) rename hott/algebra/category/{basic.lean => basic.hlean} (100%) rename hott/algebra/{group.lean => group.hlean} (100%) rename hott/algebra/{groupoid.lean => groupoid.hlean} (100%) rename hott/algebra/precategory/{basic.lean => basic.hlean} (100%) rename hott/algebra/precategory/{constructions.lean => constructions.hlean} (100%) rename hott/algebra/precategory/{functor.lean => functor.hlean} (100%) rename hott/algebra/precategory/{iso.lean => iso.hlean} (100%) rename hott/algebra/precategory/{morphism.lean => morphism.hlean} (100%) rename hott/algebra/precategory/{natural_transformation.lean => natural_transformation.hlean} (100%) rename hott/algebra/{relation.lean => relation.hlean} (100%) rename hott/axioms/{funext.lean => funext.hlean} (100%) rename hott/{default.lean => default.hlean} (100%) rename hott/{equiv_precomp.lean => equiv_precomp.hlean} (100%) rename hott/init/{equiv.lean => equiv.hlean} (100%) rename hott/init/{funext_from_ua.lean => funext_from_ua.hlean} (100%) rename hott/init/{funext_varieties.lean => funext_varieties.hlean} (100%) rename hott/{path.lean => init/path.hlean} (100%) rename hott/{axioms/ua.lean => init/ua.hlean} (100%) rename hott/{logic.lean => logic.hlean} (100%) rename hott/{pointed.lean => pointed.hlean} (100%) rename hott/{trunc.lean => trunc.hlean} (100%) rename hott/types/{W.lean => W.hlean} (100%) rename hott/types/{pi.lean => pi.hlean} (100%) rename hott/types/{prod.lean => prod.hlean} (100%) rename hott/types/{sigma.lean => sigma.hlean} (100%) diff --git a/hott/algebra/binary.lean b/hott/algebra/binary.hlean similarity index 100% rename from hott/algebra/binary.lean rename to hott/algebra/binary.hlean diff --git a/hott/algebra/category/basic.lean b/hott/algebra/category/basic.hlean similarity index 100% rename from hott/algebra/category/basic.lean rename to hott/algebra/category/basic.hlean diff --git a/hott/algebra/group.lean b/hott/algebra/group.hlean similarity index 100% rename from hott/algebra/group.lean rename to hott/algebra/group.hlean diff --git a/hott/algebra/groupoid.lean b/hott/algebra/groupoid.hlean similarity index 100% rename from hott/algebra/groupoid.lean rename to hott/algebra/groupoid.hlean diff --git a/hott/algebra/precategory/basic.lean b/hott/algebra/precategory/basic.hlean similarity index 100% rename from hott/algebra/precategory/basic.lean rename to hott/algebra/precategory/basic.hlean diff --git a/hott/algebra/precategory/constructions.lean b/hott/algebra/precategory/constructions.hlean similarity index 100% rename from hott/algebra/precategory/constructions.lean rename to hott/algebra/precategory/constructions.hlean diff --git a/hott/algebra/precategory/functor.lean b/hott/algebra/precategory/functor.hlean similarity index 100% rename from hott/algebra/precategory/functor.lean rename to hott/algebra/precategory/functor.hlean diff --git a/hott/algebra/precategory/iso.lean b/hott/algebra/precategory/iso.hlean similarity index 100% rename from hott/algebra/precategory/iso.lean rename to hott/algebra/precategory/iso.hlean diff --git a/hott/algebra/precategory/morphism.lean b/hott/algebra/precategory/morphism.hlean similarity index 100% rename from hott/algebra/precategory/morphism.lean rename to hott/algebra/precategory/morphism.hlean diff --git a/hott/algebra/precategory/natural_transformation.lean b/hott/algebra/precategory/natural_transformation.hlean similarity index 100% rename from hott/algebra/precategory/natural_transformation.lean rename to hott/algebra/precategory/natural_transformation.hlean diff --git a/hott/algebra/relation.lean b/hott/algebra/relation.hlean similarity index 100% rename from hott/algebra/relation.lean rename to hott/algebra/relation.hlean diff --git a/hott/axioms/funext.lean b/hott/axioms/funext.hlean similarity index 100% rename from hott/axioms/funext.lean rename to hott/axioms/funext.hlean diff --git a/hott/default.lean b/hott/default.hlean similarity index 100% rename from hott/default.lean rename to hott/default.hlean diff --git a/hott/equiv_precomp.lean b/hott/equiv_precomp.hlean similarity index 100% rename from hott/equiv_precomp.lean rename to hott/equiv_precomp.hlean diff --git a/hott/init/equiv.lean b/hott/init/equiv.hlean similarity index 100% rename from hott/init/equiv.lean rename to hott/init/equiv.hlean diff --git a/hott/init/funext_from_ua.lean b/hott/init/funext_from_ua.hlean similarity index 100% rename from hott/init/funext_from_ua.lean rename to hott/init/funext_from_ua.hlean diff --git a/hott/init/funext_varieties.lean b/hott/init/funext_varieties.hlean similarity index 100% rename from hott/init/funext_varieties.lean rename to hott/init/funext_varieties.hlean diff --git a/hott/path.lean b/hott/init/path.hlean similarity index 100% rename from hott/path.lean rename to hott/init/path.hlean diff --git a/hott/axioms/ua.lean b/hott/init/ua.hlean similarity index 100% rename from hott/axioms/ua.lean rename to hott/init/ua.hlean diff --git a/hott/logic.lean b/hott/logic.hlean similarity index 100% rename from hott/logic.lean rename to hott/logic.hlean diff --git a/hott/pointed.lean b/hott/pointed.hlean similarity index 100% rename from hott/pointed.lean rename to hott/pointed.hlean diff --git a/hott/trunc.lean b/hott/trunc.hlean similarity index 100% rename from hott/trunc.lean rename to hott/trunc.hlean diff --git a/hott/types/W.lean b/hott/types/W.hlean similarity index 100% rename from hott/types/W.lean rename to hott/types/W.hlean diff --git a/hott/types/pi.lean b/hott/types/pi.hlean similarity index 100% rename from hott/types/pi.lean rename to hott/types/pi.hlean diff --git a/hott/types/prod.lean b/hott/types/prod.hlean similarity index 100% rename from hott/types/prod.lean rename to hott/types/prod.hlean diff --git a/hott/types/sigma.lean b/hott/types/sigma.hlean similarity index 100% rename from hott/types/sigma.lean rename to hott/types/sigma.hlean