package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2

Folder: subtac

d .. (parent)
d d rwxr-xr-x 147 test
- - rw-r--r-- 8,474 eterm.ml
- - rw-r--r-- 1,640 eterm.mli
- - rw-r--r-- 6,037 g_subtac.ml4
- - rw-r--r-- 7,875 subtac.ml
- - rw-r--r-- 92 subtac.mli
- - rw-r--r-- 76,161 subtac_cases.ml
- - rw-r--r-- 734 subtac_cases.mli
- - rw-r--r-- 7,190 subtac_classes.ml
- - rw-r--r-- 1,105 subtac_classes.mli
- - rw-r--r-- 16,693 subtac_coercion.ml
- - rw-r--r-- 90 subtac_coercion.mli
- - rw-r--r-- 20,209 subtac_command.ml
- - rw-r--r-- 1,507 subtac_command.mli
- - rw-r--r-- 650 subtac_errors.ml
- - rw-r--r-- 631 subtac_errors.mli
- - rw-r--r-- 23,093 subtac_obligations.ml
- - rw-r--r-- 2,692 subtac_obligations.mli
- - rw-r--r-- 181 subtac_plugin.mllib
- - rw-r--r-- 4,963 subtac_pretyping.ml
- - rw-r--r-- 688 subtac_pretyping.mli
- - rw-r--r-- 24,565 subtac_pretyping_F.ml
- - rw-r--r-- 14,625 subtac_utils.ml
- - rw-r--r-- 4,327 subtac_utils.mli