Tree @upstream/8.1.pl1+dfsg (Download .tar.gz)
- ..
- auto.ml
- auto.mli
- autorewrite.ml
- autorewrite.mli
- btermdn.ml
- btermdn.mli
- contradiction.ml
- contradiction.mli
- decl_interp.ml
- decl_interp.mli
- decl_proof_instr.ml
- decl_proof_instr.mli
- dhyp.ml
- dhyp.mli
- dn.ml
- dn.mli
- doc.tex
- eauto.ml4
- eauto.mli
- elim.ml
- elim.mli
- eqdecide.ml4
- equality.ml
- equality.mli
- evar_tactics.ml
- evar_tactics.mli
- extraargs.ml4
- extraargs.mli
- extratactics.ml4
- extratactics.mli
- hiddentac.ml
- hiddentac.mli
- hipattern.ml4
- hipattern.mli
- inv.ml
- inv.mli
- leminv.ml
- leminv.mli
- nbtermdn.ml
- nbtermdn.mli
- refine.ml
- refine.mli
- setoid_replace.ml
- setoid_replace.mli
- tacinterp.ml
- tacinterp.mli
- tacticals.ml
- tacticals.mli
- tactics.ml
- tactics.mli
- tauto.ml4
- termdn.ml
- termdn.mli
History of tactics @upstream/8.1.pl1+dfsg
- 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