package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327

Folder: tactics

d .. (parent)
- - rw-r--r-- 39,078 auto.ml
- - rw-r--r-- 7,437 auto.mli
- - rw-r--r-- 7,920 autorewrite.ml
- - rw-r--r-- 1,178 autorewrite.mli
- - rw-r--r-- 2,631 btermdn.ml
- - rw-r--r-- 1,046 btermdn.mli
- - rw-r--r-- 71,856 class_tactics.ml4
- - rw-r--r-- 2,951 contradiction.ml
- - rw-r--r-- 794 contradiction.mli
- - rw-r--r-- 16,910 decl_interp.ml
- - rw-r--r-- 824 decl_interp.mli
- - rw-r--r-- 46,420 decl_proof_instr.ml
- - rw-r--r-- 3,785 decl_proof_instr.mli
- - rw-r--r-- 11,549 dhyp.ml
- - rw-r--r-- 1,172 dhyp.mli
- - rw-r--r-- 3,528 dn.ml
- - rw-r--r-- 2,002 dn.mli
- - rw-r--r-- 246 doc.tex
- - rw-r--r-- 14,720 eauto.ml4
- - rw-r--r-- 1,095 eauto.mli
- - rw-r--r-- 5,714 elim.ml
- - rw-r--r-- 1,446 elim.mli
- - rw-r--r-- 6,392 eqdecide.ml4
- - rw-r--r-- 48,457 equality.ml
- - rw-r--r-- 5,139 equality.mli
- - rw-r--r-- 2,670 evar_tactics.ml
- - rw-r--r-- 879 evar_tactics.mli
- - rw-r--r-- 11,825 extraargs.ml4
- - rw-r--r-- 2,459 extraargs.mli
- - rw-r--r-- 13,021 extratactics.ml4
- - rw-r--r-- 743 extratactics.mli
- - rw-r--r-- 6,034 hiddentac.ml
- - rw-r--r-- 4,779 hiddentac.mli
- - rw-r--r-- 13,671 hipattern.ml4
- - rw-r--r-- 5,283 hipattern.mli
- - rw-r--r-- 18,590 inv.ml
- - rw-r--r-- 1,583 inv.mli
- - rw-r--r-- 10,698 leminv.ml
- - rw-r--r-- 545 leminv.mli
- - rw-r--r-- 2,698 nbtermdn.ml
- - rw-r--r-- 1,403 nbtermdn.mli
- - rw-r--r-- 12,670 refine.ml
- - rw-r--r-- 639 refine.mli
- - rw-r--r-- 112,202 tacinterp.ml
- - rw-r--r-- 5,738 tacinterp.mli
- - rw-r--r-- 15,515 tacticals.ml
- - rw-r--r-- 7,385 tacticals.mli
- - rw-r--r-- 118,686 tactics.ml
- - rw-r--r-- 14,301 tactics.mli
- - rw-r--r-- 8,132 tauto.ml4
- - rw-r--r-- 2,876 termdn.ml
- - rw-r--r-- 2,181 termdn.mli