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
tacinterp.ml @upstream/8.4_gamma0+really8.4beta2+dfsg — raw · history
(Large file not shown — Download file)