_CoqProject

-R . Arith

-install none
COQDOCFLAGS = "--charset utf-8 --parse-comments -s --with-header ../website/resources/header.html --with-footer ../website/resources/footer.html --index indexpage"


FOL.v
Tarski.v
VectorTech.v
Deduction.v
PA.v
Hilbert.v
FOL_in_ML.v