Add initial import file to test whether the pipeline is working.

Author: klinashka

.gitignore

@@ -0,0 +1,41 @@
+*.aux
+*.a
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+*.cmxs
+*.glob
+*.ml.d
+*.ml4.d
+*.mli.d
+*.mllib.d
+*.mlpack.d
+*.native
+*.o
+*.v.d
+*.vio
+*.vo
+.coq-native/
+.csdp.cache
+.lia.cache
+.nia.cache
+.nlia.cache
+.nra.cache
+csdp.cache
+lia.cache
+nia.cache
+nlia.cache
+nra.cache
+Makefile
+Makefile.conf
+*.d
+*.pdf
+*.log
+*.gz
+*.out
+*.bbl
+*.blg
+*.vok
+*.vos

code/TestImports.v

@@ -0,0 +1,3 @@
+(** This file contains global imports from the UniMath library. *)
+
+Require Export UniMath.Foundations.All.