package info
(click to toggle)
Folder: tactics
 |
.. (parent) | |||
 |
- | rw-r--r-- | 29,413 | auto.ml |
|
- | rw-r--r-- | 6,248 | auto.mli |
|
- | rw-r--r-- | 7,687 | autorewrite.ml |
|
- | rw-r--r-- | 1,178 | autorewrite.mli |
|
- | rw-r--r-- | 1,594 | btermdn.ml |
|
- | rw-r--r-- | 949 | btermdn.mli |
|
- | rw-r--r-- | 2,938 | contradiction.ml |
|
- | rw-r--r-- | 781 | contradiction.mli |
|
- | rw-r--r-- | 16,842 | decl_interp.ml |
|
- | rw-r--r-- | 770 | decl_interp.mli |
|
- | rw-r--r-- | 47,150 | decl_proof_instr.ml |
|
- | rw-r--r-- | 3,826 | decl_proof_instr.mli |
|
- | rw-r--r-- | 11,435 | dhyp.ml |
|
- | rw-r--r-- | 1,172 | dhyp.mli |
|
- | rw-r--r-- | 2,965 | dn.ml |
|
- | rw-r--r-- | 1,790 | dn.mli |
|
- | rw-r--r-- | 246 | doc.tex |
|
- | rw-r--r-- | 13,353 | eauto.ml4 |
|
- | rw-r--r-- | 1,040 | eauto.mli |
|
- | rw-r--r-- | 5,648 | elim.ml |
|
- | rw-r--r-- | 1,432 | elim.mli |
|
- | rw-r--r-- | 6,428 | eqdecide.ml4 |
|
- | rw-r--r-- | 43,178 | equality.ml |
|
- | rw-r--r-- | 4,371 | equality.mli |
|
- | rw-r--r-- | 2,477 | evar_tactics.ml |
|
- | rw-r--r-- | 841 | evar_tactics.mli |
|
- | rw-r--r-- | 6,451 | extraargs.ml4 |
|
- | rw-r--r-- | 2,212 | extraargs.mli |
|
- | rw-r--r-- | 13,950 | extratactics.ml4 |
|
- | rw-r--r-- | 838 | extratactics.mli |
|
- | rw-r--r-- | 4,627 | hiddentac.ml |
|
- | rw-r--r-- | 3,699 | hiddentac.mli |
|
- | rw-r--r-- | 11,180 | hipattern.ml4 |
|
- | rw-r--r-- | 4,808 | hipattern.mli |
|
- | rw-r--r-- | 19,312 | inv.ml |
|
- | rw-r--r-- | 1,497 | inv.mli |
|
- | rw-r--r-- | 10,680 | leminv.ml |
|
- | rw-r--r-- | 545 | leminv.mli |
|
- | rw-r--r-- | 2,634 | nbtermdn.ml |
|
- | rw-r--r-- | 1,403 | nbtermdn.mli |
|
- | rw-r--r-- | 11,052 | refine.ml |
|
- | rw-r--r-- | 639 | refine.mli |
|
- | rw-r--r-- | 78,301 | setoid_replace.ml |
|
- | rw-r--r-- | 2,848 | setoid_replace.mli |
|
- | rw-r--r-- | 101,174 | tacinterp.ml |
|
- | rw-r--r-- | 4,880 | tacinterp.mli |
|
- | rw-r--r-- | 15,224 | tacticals.ml |
|
- | rw-r--r-- | 6,495 | tacticals.mli |
|
- | rw-r--r-- | 94,182 | tactics.ml |
|
- | rw-r--r-- | 12,033 | tactics.mli |
|
- | rw-r--r-- | 5,429 | tauto.ml4 |
|
- | rw-r--r-- | 2,311 | termdn.ml |
|
- | rw-r--r-- | 1,698 | termdn.mli |