Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removing some return type compatibility layers in Termops. | 2017-02-14 | |
* | Setoid_ring API using EConstr. | 2017-02-14 | |
* | Cc API using EConstr. | 2017-02-14 | |
* | Quote API using EConstr. | 2017-02-14 | |
* | Reductionops now return EConstrs. | 2017-02-14 | |
* | Proofview.Goal primitive now return EConstrs. | 2017-02-14 | |
* | Eliminating parts of the right-hand side compatibility layer | 2017-02-14 | |
* | Tauto API using EConstr. | 2017-02-14 | |
* | Rewrite API using EConstr. | 2017-02-14 | |
* | G_class API using Econstr. | 2017-02-14 | |
* | G_auto API using EConstr. | 2017-02-14 | |
* | Extratactics API using EConstr. | 2017-02-14 | |
* | Tactic_matching API using EConstr. | 2017-02-14 | |
* | Eqdecide API using EConstr. | 2017-02-14 | |
* | Class_tactics API using EConstr. | 2017-02-14 | |
* | Eauto API using EConstr. | 2017-02-14 | |
* | Auto API using EConstr. | 2017-02-14 | |
* | Hints API using EConstr. | 2017-02-14 | |
* | Leminv API using EConstr. | 2017-02-14 | |
* | Inv API using EConstr. | 2017-02-14 | |
* | Contradiction API using EConstr. | 2017-02-14 | |
* | Equality API using EConstr. | 2017-02-14 | |
* | Elim API using EConstr. | 2017-02-14 | |
* | Tactics API using EConstr. | 2017-02-14 | |
* | Hipattern API using EConstr. | 2017-02-14 | |
* | Tacticals API using EConstr. | 2017-02-14 | |
* | Clenv API using EConstr. | 2017-02-14 | |
* | Tacmach API using EConstr. | 2017-02-14 | |
* | Refine API using EConstr. | 2017-02-14 | |
* | Goal API using EConstr. | 2017-02-14 | |
* | Cleaning up opening of the EConstr module in pretyping folder. | 2017-02-14 | |
* | Making judgment type generic over the type of inner constrs. | 2017-02-14 | |
* | Unification API using EConstr. | 2017-02-14 | |
* | Pretyping API using EConstr. | 2017-02-14 | |
* | Cases API using EConstr. | 2017-02-14 | |
* | Coercion API using EConstr. | 2017-02-14 | |
* | Classops API using EConstr. | 2017-02-14 | |
* | Typeclasses API using EConstr. | 2017-02-14 | |
* | Tacred API using EConstr. | 2017-02-14 | |
* | Constr_matching API using EConstr. | 2017-02-14 | |
* | Patternops API using EConstr. | 2017-02-14 | |
* | Typing API using EConstr. | 2017-02-14 | |
* | Evarconv API using EConstr. | 2017-02-14 | |
* | Recordops API using EConstr. | 2017-02-14 | |
* | Evarsolve API using EConstr. | 2017-02-14 | |
* | Evardefine API using EConstr. | 2017-02-14 | |
* | Find_subterm API using EConstr. | 2017-02-14 | |
* | Cbv API using EConstr. | 2017-02-14 | |
* | Retyping API using EConstr. | 2017-02-14 | |
* | Nativenorm API using EConstr. | 2017-02-14 |