Tree @upstream/8.4_gamma0+really8.4beta2+dfsg (Download .tar.gz)
- ..
- auto.ml
- auto.mli
- autorewrite.ml
- autorewrite.mli
- btermdn.ml
- btermdn.mli
- class_tactics.ml4
- contradiction.ml
- contradiction.mli
- dn.ml
- dn.mli
- doc.tex
- eauto.ml4
- eauto.mli
- elim.ml
- elim.mli
- elimschemes.ml
- elimschemes.mli
- eqdecide.ml4
- eqschemes.ml
- eqschemes.mli
- equality.ml
- equality.mli
- evar_tactics.ml
- evar_tactics.mli
- extraargs.ml4
- extraargs.mli
- extratactics.ml4
- extratactics.mli
- hiddentac.ml
- hiddentac.mli
- hightactics.mllib
- hipattern.ml4
- hipattern.mli
- inv.ml
- inv.mli
- leminv.ml
- leminv.mli
- nbtermdn.ml
- nbtermdn.mli
- refine.ml
- refine.mli
- rewrite.ml4
- tacinterp.ml
- tacinterp.mli
- tactic_option.ml
- tactic_option.mli
- tacticals.ml
- tacticals.mli
- tactics.ml
- tactics.mli
- tactics.mllib
- tauto.ml4
- termdn.ml
- termdn.mli
History of tactics @upstream/8.4_gamma0+really8.4beta2+dfsg
- 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
- Imported Upstream version 8.0pl3+8.1alpha Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl3 Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl2 Samuel Mimram 19 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago