Commit f6797b8b authored by MARCHE Claude's avatar MARCHE Claude

distrib Coq proof of cosine

parent 337d4525
......@@ -896,6 +896,7 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure .depend.* \
doc/version.tex.in doc/manual.pdf \
drivers/*.drv \
examples/*.why examples/programs/*.mlw examples/tptp/*.why \
examples/my_cosine/*.v \
theories/*.why theories/*/*.why \
share/*.conf \
share/emacs/why.el share/images/*.png share/lang/*.lang
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment