aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2011-07-29Nsatz: replaced some generic = on constr by eq_constrpuech
2011-07-29Recdef: replaced some generic = on constr by eq_constrpuech
2011-07-29FourierR: replaced some generic Hashtbl on constr by Constrhashpuech
2011-07-29Refl_omega: replaced generic = on constr by eq_constrpuech
2011-07-29Newring: replaced some generic = on constr by eq_constrpuech
2011-07-29Refl_omega: replaced some generic = on constr by eq_constrpuech
2011-07-29Const_omega: replaced some generic = on constr by eq_constrpuech
2011-07-29Functional_principles_types: replaced some generic = on constr by eq_constrpuech
2011-07-29Evarutil: replaced some generic = on constr by destructorspuech
2011-07-29Newring: replaced generic = on constr by eq_constrpuech
2011-07-29Coq_omega: replaced generic = on constr by eq_constrpuech
2011-07-29Quote: replaced generic = on constr by eq_constrpuech
2011-07-29Coq_omega: replaced many generic = on constr by eq_constrpuech
2011-07-29Newring: generic Pervasives.compare on constr replaced by constr_ordpuech
2011-07-29Term: moved function constr_ord (a.k.a compare_constr) from Sequent to Termpuech
2011-07-29Ccalgo, Ccproof: multiple generic Hashtbl on constr and term replaced by Cons...puech
2011-07-29Hahtbl_alt: separate generic combine functionspuech
2011-07-29Newring: generic equality on constr replaced by constr_equalpuech
2011-07-29Ccproof: generic equality on term replaced by term_equalpuech
2011-07-29Tactics: generic equality on constr replaced by eq_constrpuech
2011-07-29Class_tactics: generic equality on named_context_val replaced by eq_named_con...puech
2011-07-29Sequent: generic equality on global_reference replaced by RefOrdered.comparepuech
2011-07-29Sequent: generic equality on kernel_name replaced by kn_ordpuech
2011-07-29Sequent: generic equality on constr replaced by destructorspuech
2011-07-29Sequent: generic equality on ident replaced by id_ordpuech
2011-07-29Instances: generic equality on global_reference replaced by RefOrdered.comparepuech
2011-07-29Unify: generic equality on constr replaced by eq_constrpuech
2011-07-29Eqschemes: generic equality on constr replaced by eq_constrpuech
2011-07-29Evarutil: generic equality on constr replaced by destructorspuech
2011-07-29Heads: generic equality on constr replaced by destructorpuech
2011-07-29Environ: generic equality on named_context replaced by named_context_equalpuech
2011-07-29Evarconv: generic equality on constr replaced by eq_constrpuech
2011-07-29Equality: generic equality on constr replaced by eq_constrpuech
2011-07-29Cases: generic equality on constr replaced by destructorspuech
2011-07-29Tactics: generic equality on constr replaced by eq_constrpuech
2011-07-29Classops: generic equality on constr replaced by eq_constrpuech
2011-07-29Class: generic equality on constr replaced by destructorspuech
2011-07-29Evarutil: generic equality on constr replaced by eq_constr (x2)puech
2011-07-29Equality: generic equality on constr replaced by eq_constrpuech
2011-07-29Tactics: generic equality on constr replaced by eq_constrpuech
2011-07-29Tactics: generic equality on named_declaration replaced by eq_named_declarationpuech
2011-07-29Term: added function eq_named_declarationpuech
2011-07-29Evarutil: generic equality on constr replaced by eq_constrpuech
2011-07-29Tacred: generic equality on constr replaced by eq_constrpuech
2011-07-29Hipattern: two generic equalities on constr spotted & rewrittenpuech
2011-07-29Indtypes: remove useless and wrong generic equality test on constr arraypuech
2011-07-29Term: slight reorganization of the filepuech
2011-07-29Term_typing, Typeops: replace some generic '=' on constr by eq_constrpuech
2011-07-29Term: Refactoring of hashconsingpuech
2011-07-29argument renaming in liftn (match with usual terminology)puech
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-31 04:08:06 +0000