Tree @upstream/8.5 (Download .tar.gz)
- ..
- auto.ml
- auto.mli
- autorewrite.ml
- autorewrite.mli
- btermdn.ml
- btermdn.mli
- class_tactics.ml
- class_tactics.mli
- contradiction.ml
- contradiction.mli
- coretactics.ml4
- dn.ml
- dn.mli
- dnet.ml
- dnet.mli
- doc.tex
- eauto.ml4
- eauto.mli
- elim.ml
- elim.mli
- elimschemes.ml
- elimschemes.mli
- eqdecide.ml
- eqdecide.mli
- eqschemes.ml
- eqschemes.mli
- equality.ml
- equality.mli
- evar_tactics.ml
- evar_tactics.mli
- extraargs.ml4
- extraargs.mli
- extratactics.ml4
- extratactics.mli
- ftactic.ml
- ftactic.mli
- g_class.ml4
- g_eqdecide.ml4
- g_rewrite.ml4
- geninterp.ml
- geninterp.mli
- hightactics.mllib
- hints.ml
- hints.mli
- hipattern.ml4
- hipattern.mli
- inv.ml
- inv.mli
- leminv.ml
- leminv.mli
- rewrite.ml
- rewrite.mli
- taccoerce.ml
- taccoerce.mli
- tacenv.ml
- tacenv.mli
- tacintern.ml
- tacintern.mli
- tacinterp.ml
- tacinterp.mli
- tacsubst.ml
- tacsubst.mli
- tactic_matching.ml
- tactic_matching.mli
- tactic_option.ml
- tactic_option.mli
- tacticals.ml
- tacticals.mli
- tactics.ml
- tactics.mli
- tactics.mllib
- tauto.ml4
- term_dnet.ml
- term_dnet.mli
History of tactics @upstream/8.5
- Imported Upstream version 8.5 Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta3+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta2+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta1+dfsg Enrico Tassi 9 years ago
- Imported Upstream version 8.4pl4dfsg Stephane Glondu 9 years ago
- Imported Upstream version 8.4pl3dfsg Stephane Glondu 10 years ago
- Imported Upstream version 8.4pl2dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4pl1dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~gamma0+really8.4beta2 Stephane Glondu 11 years ago
- Imported Upstream version 8.4~beta Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl3 Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl2 Stephane Glondu 13 years ago
- Imported Upstream version 8.3pl1 Stephane Glondu 13 years ago
- Imported Upstream version 8.3 Stephane Glondu 13 years ago
- Imported Upstream version 8.3~rc1+dfsg Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13323 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2pl2+dfsg Stephane Glondu 13 years ago
- Imported Upstream version 8.2.pl1+dfsg Stephane Glondu 14 years ago
- Imported Upstream version 8.2-1+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~rc2+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta4+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta3+dfsg Samuel Mimram 15 years ago
- Imported Upstream version 8.1.pl2+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1.pl1+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1+dfsg Samuel Mimram 17 years ago
- Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta.2 Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta Samuel Mimram 17 years ago