Claude Marche 42d446f60c update Coq proofs to 8.6.1

2017-08-24 11:39:47 +02:00

..

decrease1_Decrease1_decrease1_induction_2.v

update sessions

2014-01-19 23:14:51 +01:00

why3session.xml

update Coq proofs to 8.6.1

2017-08-24 11:39:47 +02:00

why3shapes.gz

update obsolete sessions

2017-06-12 22:53:54 +02:00