Makefile
Makefile.debian
a.out
bin/gwhy.opt
bin/krakatoa.opt
bin/simplify2why.opt
bin/why-config.opt
config.status
config.log
bench/bench
config/check_ocamlgraph.cmi
config/check_ocamlgraph.cmo
config/check_ocamlgraph.cmx
config/check_ocamlgraph.o
doc/version.tex
jc/jc.a
jc/jc.cma
jc/jc.cmxa
lib/coq/WhyCoqCompat.vo
lib/why/arrays_why.v
lib/why/floats_why.v
lib/why/prelude_why.v
mix/mix_parser.output
regtest.opt
tools/simplify_parser.output
tools/toolstat_pars.output
