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: tactics
 |
.. (parent) | |||
 |
- | rw-r--r-- | 30,204 | auto.ml |
|
- | rw-r--r-- | 6,320 | auto.mli |
|
- | rw-r--r-- | 3,379 | autorewrite.ml |
|
- | rw-r--r-- | 920 | autorewrite.mli |
|
- | rw-r--r-- | 1,585 | btermdn.ml |
|
- | rw-r--r-- | 958 | btermdn.mli |
|
- | rw-r--r-- | 2,728 | contradiction.ml |
|
- | rw-r--r-- | 789 | contradiction.mli |
|
- | rw-r--r-- | 11,479 | dhyp.ml |
|
- | rw-r--r-- | 1,180 | dhyp.mli |
|
- | rw-r--r-- | 2,974 | dn.ml |
|
- | rw-r--r-- | 1,799 | dn.mli |
|
- | rw-r--r-- | 246 | doc.tex |
|
- | rw-r--r-- | 13,928 | eauto.ml4 |
|
- | rw-r--r-- | 847 | eauto.mli |
|
- | rw-r--r-- | 5,685 | elim.ml |
|
- | rw-r--r-- | 1,441 | elim.mli |
|
- | rw-r--r-- | 5,941 | eqdecide.ml4 |
|
- | rw-r--r-- | 41,527 | equality.ml |
|
- | rw-r--r-- | 2,808 | equality.mli |
|
- | rw-r--r-- | 988 | extraargs.ml4 |
|
- | rw-r--r-- | 794 | extraargs.mli |
|
- | rw-r--r-- | 9,241 | extratactics.ml4 |
|
- | rw-r--r-- | 832 | extratactics.mli |
|
- | rw-r--r-- | 4,502 | hiddentac.ml |
|
- | rw-r--r-- | 3,902 | hiddentac.mli |
|
- | rw-r--r-- | 11,669 | hipattern.ml |
|
- | rw-r--r-- | 4,897 | hipattern.mli |
|
- | rw-r--r-- | 19,476 | inv.ml |
|
- | rw-r--r-- | 1,541 | inv.mli |
|
- | rw-r--r-- | 10,573 | leminv.ml |
|
- | rw-r--r-- | 528 | leminv.mli |
|
- | rw-r--r-- | 2,621 | nbtermdn.ml |
|
- | rw-r--r-- | 1,394 | nbtermdn.mli |
|
- | rw-r--r-- | 10,968 | refine.ml |
|
- | rw-r--r-- | 665 | refine.mli |
|
- | rw-r--r-- | 23,950 | setoid_replace.ml |
|
- | rw-r--r-- | 1,015 | setoid_replace.mli |
|
- | rw-r--r-- | 86,039 | tacinterp.ml |
|
- | rw-r--r-- | 4,197 | tacinterp.mli |
|
- | rw-r--r-- | 15,241 | tacticals.ml |
|
- | rw-r--r-- | 6,463 | tacticals.mli |
|
- | rw-r--r-- | 69,838 | tactics.ml |
|
- | rw-r--r-- | 9,023 | tactics.mli |
|
- | rw-r--r-- | 6,217 | tauto.ml4 |
|
- | rw-r--r-- | 2,408 | termdn.ml |
|
- | rw-r--r-- | 1,685 | termdn.mli |