.coq_config
src/myocamlbuild.ml
src/*.cm*
src/_build
*.vo
*.v.d
*.glob
Makefile.coq
theories/*.cmxs
\#*#
*~
.*.aux
*.a
*.o
*.ml4.d
*.mllib.d
.coq-native
/src/template_AST.ml
/src/template_AST.mli
*.d
/Makefile.coqplugin
/src/ascii.ml
/src/ascii.mli
/src/binNat.ml
/src/binNat.mli
/src/binNums.ml
/src/binNums.mli
/src/binPos.ml
/src/binPos.mli
/src/binPosDef.ml
src/binPosDef.mli
src/bool.ml
src/bool.mli
src/datatypes.ml
src/datatypes.mli
src/nat0.ml
src/nat0.mli
src/string0.ml
src/string0.mli
/Makefile.coqchecker
/src/ast0.ml
/src/ast0.mli
src/monad_utils.mli
src/monad_utils.ml
/src/list0.ml
src/list0.mli
src/peanoNat.ml
src/peanoNat.mli
src/specif.ml
src/specif.mli
src/sumbool.ml
src/sumbool.mli
src/typing0.ml
src/typing0.mli
src/checker.ml
src/checker.mli
src/induction.ml
src/induction.mli
src/liftSubst.ml
src/liftSubst.mli
src/basics.ml
src/basics.mli
src/binInt.ml
src/binInt.mli
src/binIntDef.ml
src/binIntDef.mli
src/decidableType.ml
src/decidableType.mli
src/equalities.ml
src/equalities.mli
src/fMapWeakList.ml
src/fMapWeakList.mli
src/fSetWeakList.ml
src/fSetWeakList.mli
src/mSetWeakList.ml
src/mSetWeakList.mli
src/univ0.ml
src/univ0.mli
src/uGraph0.ml
src/uGraph0.mli
/Makefile.conf
/Makefile.coq.bak
/Makefile.coq.conf
/Makefile.coqchecker.conf
/Makefile.coqplugin.conf
/test-suite/Makefile.coq.conf
/.merlin
/html/Template.*.html
/src/univSubst.ml
/src/univSubst.mli
/src/utils.ml
/src/utils.mli