coq/ltac/class_tactics.ml, branch master The formal proof system Moving Eauto and Class_tactics to tactics/. 2016-03-25T12:37:03+00:00 Pierre-Marie Pédrot 2016-03-21T08:28:08+00:00 9d5ddf9608d110498cc3c259c11cf6958a1a0d2e 






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