coq/ltac/eqdecide.ml, branch master The formal proof system Moving Eqdecide to tactics/. 2016-03-25T12:37:03+00:00 Pierre-Marie Pédrot 2016-03-21T08:59:52+00:00 63b914b51ddc9084bc2e059df266e2345dfe34b5 






Making Eqdecide independent of Extratactics.
2016-03-25T12:37:03+00:00

Pierre-Marie Pédrot

2016-03-21T08:38:15+00:00

a947e85e88ab0b9a5a4cfea81ecbeec6f52636ea












Creating a dedicated ltac/ folder for Hightactics.
2016-03-20T23:36:57+00:00

Pierre-Marie Pédrot

2016-03-20T23:26:02+00:00

a581331f26d96d1a037128ae83bebd5e6c27f665