Temporary cleanup

2017-04-13 23:05:45 +05:30 · 2017-04-13 23:05:45 +05:30 · 4a04aab8e3
commit 4a04aab8e3
parent 3f3fc5c785
3 changed files with 12 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -24,4 +24,4 @@ doc/html
 make.deps
 src/emacs/dependencies
 compile_commands.json
-*.hlean#
+*.hlean\#
--- a/hott/cohomology/cohomology_theory.hlean
+++ b/hott/cohomology/cohomology_theory.hlean
@ -0,0 +1,11 @@
+/-
+Authors : Sayantan Khan
+
+Formalizing (generalized) cohomology theory using Eilenberg-Steenrod axioms.
+-/
+
+import .type_ab_functor
+
+--namespace ESaxioms
+
+--end ESaxioms
--- a/hott/cohomology/type_ab_functor.hlean
+++ b/hott/cohomology/type_ab_functor.hlean