package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • 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: tactics

d .. (parent)
- - rw-r--r-- 20,045 auto.ml
- - rw-r--r-- 3,271 auto.mli
- - rw-r--r-- 10,982 autorewrite.ml
- - rw-r--r-- 2,390 autorewrite.mli
- - rw-r--r-- 5,492 btermdn.ml
- - rw-r--r-- 1,723 btermdn.mli
- - rw-r--r-- 46,511 class_tactics.ml
- - rw-r--r-- 2,187 class_tactics.mli
- - rw-r--r-- 5,130 contradiction.ml
- - rw-r--r-- 857 contradiction.mli
- - rw-r--r-- 2,513 dn.ml
- - rw-r--r-- 1,166 dn.mli
- - rw-r--r-- 10,325 dnet.ml
- - rw-r--r-- 4,665 dnet.mli
- - rw-r--r-- 18,092 eauto.ml
- - rw-r--r-- 1,537 eauto.mli
- - rw-r--r-- 5,578 elim.ml
- - rw-r--r-- 1,201 elim.mli
- - rw-r--r-- 5,902 elimschemes.ml
- - rw-r--r-- 1,842 elimschemes.mli
- - rw-r--r-- 9,862 eqdecide.ml
- - rw-r--r-- 1,159 eqdecide.mli
- - rw-r--r-- 42,751 eqschemes.ml
- - rw-r--r-- 2,273 eqschemes.mli
- - rw-r--r-- 73,440 equality.ml
- - rw-r--r-- 6,674 equality.mli
- - rw-r--r-- 58,528 hints.ml
- - rw-r--r-- 10,920 hints.mli
- - rw-r--r-- 20,248 hipattern.ml
- - rw-r--r-- 6,827 hipattern.mli
- - rw-r--r-- 7,778 ind_tables.ml
- - rw-r--r-- 2,260 ind_tables.mli
- - rw-r--r-- 21,162 inv.ml
- - rw-r--r-- 1,412 inv.mli
- - rw-r--r-- 10,461 leminv.ml
- - rw-r--r-- 960 leminv.mli
- - rw-r--r-- 26,684 tacticals.ml
- - rw-r--r-- 12,553 tacticals.mli
- - rw-r--r-- 205,809 tactics.ml
- - rw-r--r-- 20,153 tactics.mli
- - rw-r--r-- 178 tactics.mllib
- - rw-r--r-- 13,854 term_dnet.ml
- - rw-r--r-- 2,796 term_dnet.mli