package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15

Folder: proofs

d .. (parent)
- - rw-r--r-- 38,110 clenv.ml
- - rw-r--r-- 5,562 clenv.mli
- - rw-r--r-- 424 doc.tex
- - rw-r--r-- 6,161 evar_refiner.ml
- - rw-r--r-- 2,034 evar_refiner.mli
- - rw-r--r-- 25,089 logic.ml
- - rw-r--r-- 2,212 logic.mli
- - rw-r--r-- 10,392 pfedit.ml
- - rw-r--r-- 6,044 pfedit.mli
- - rw-r--r-- 7,402 proof_trees.ml
- - rw-r--r-- 2,416 proof_trees.mli
- - rw-r--r-- 2,649 proof_type.ml
- - rw-r--r-- 4,139 proof_type.mli
- - rw-r--r-- 33,108 refiner.ml
- - rw-r--r-- 8,377 refiner.mli
- - rw-r--r-- 11,493 tacexpr.ml
- - rw-r--r-- 8,632 tacmach.ml
- - rw-r--r-- 7,588 tacmach.mli
- - rw-r--r-- 6,019 tactic_debug.ml
- - rw-r--r-- 2,167 tactic_debug.mli
- - rw-r--r-- 1,852 tmp-src