package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: ltac

d .. (parent)
- - rw-r--r-- 0 Ltac.v
- - rw-r--r-- 10,539 coretactics.mlg
- - rw-r--r-- 4,065 evar_tactics.ml
- - rw-r--r-- 1,082 evar_tactics.mli
- - rw-r--r-- 12,195 extraargs.ml4
- - rw-r--r-- 2,740 extraargs.mli
- - rw-r--r-- 37,568 extratactics.ml4
- - rw-r--r-- 961 extratactics.mli
- - rw-r--r-- 7,200 g_auto.ml4
- - rw-r--r-- 4,004 g_class.ml4
- - rw-r--r-- 1,284 g_eqdecide.mlg
- - rw-r--r-- 19,434 g_ltac.ml4
- - rw-r--r-- 5,717 g_obligations.ml4
- - rw-r--r-- 13,160 g_rewrite.ml4
- - rw-r--r-- 29,351 g_tactic.mlg
- - rw-r--r-- 286 ltac_plugin.mlpack
- - rw-r--r-- 2,574 pltac.ml
- - rw-r--r-- 1,817 pltac.mli
- - rw-r--r-- 52,491 pptactic.ml
- - rw-r--r-- 5,008 pptactic.mli
- - rw-r--r-- 15,912 profile_ltac.ml
- - rw-r--r-- 4,066 profile_ltac.mli
- - rw-r--r-- 2,829 profile_ltac_tactics.ml4
- - rw-r--r-- 84,981 rewrite.ml
- - rw-r--r-- 3,671 rewrite.mli
- - rw-r--r-- 1,416 tacarg.ml
- - rw-r--r-- 2,256 tacarg.mli
- - rw-r--r-- 14,660 taccoerce.ml
- - rw-r--r-- 4,045 taccoerce.mli
- - rw-r--r-- 24,706 tacentries.ml
- - rw-r--r-- 3,552 tacentries.mli
- - rw-r--r-- 5,923 tacenv.ml
- - rw-r--r-- 3,658 tacenv.mli
- - rw-r--r-- 12,799 tacexpr.ml
- - rw-r--r-- 12,808 tacexpr.mli
- - rw-r--r-- 33,512 tacintern.ml
- - rw-r--r-- 2,157 tacintern.mli
- - rw-r--r-- 80,906 tacinterp.ml
- - rw-r--r-- 5,131 tacinterp.mli
- - rw-r--r-- 12,814 tacsubst.ml
- - rw-r--r-- 1,257 tacsubst.mli
- - rw-r--r-- 15,031 tactic_debug.ml
- - rw-r--r-- 3,260 tactic_debug.mli
- - rw-r--r-- 15,211 tactic_matching.ml
- - rw-r--r-- 2,372 tactic_matching.mli
- - rw-r--r-- 2,112 tactic_option.ml
- - rw-r--r-- 931 tactic_option.mli
- - rw-r--r-- 9,469 tauto.ml
- - rw-r--r-- 0 tauto.mli
- - rw-r--r-- 6 tauto_plugin.mlpack