index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tactics
Mode
Name
Size
-rw-r--r--
auto.ml
29368
log
plain
-rw-r--r--
auto.mli
6202
log
plain
-rw-r--r--
autorewrite.ml
7635
log
plain
-rw-r--r--
autorewrite.mli
1126
log
plain
-rw-r--r--
btermdn.ml
1546
log
plain
-rw-r--r--
btermdn.mli
900
log
plain
-rw-r--r--
contradiction.ml
2884
log
plain
-rw-r--r--
contradiction.mli
726
log
plain
-rw-r--r--
decl_interp.ml
16834
log
plain
-rw-r--r--
decl_interp.mli
771
log
plain
-rw-r--r--
decl_proof_instr.ml
46746
log
plain
-rw-r--r--
decl_proof_instr.mli
3627
log
plain
-rw-r--r--
dhyp.ml
11390
log
plain
-rw-r--r--
dhyp.mli
1126
log
plain
-rw-r--r--
dn.ml
2922
log
plain
-rw-r--r--
dn.mli
1746
log
plain
-rw-r--r--
doc.tex
246
log
plain
-rw-r--r--
eauto.ml4
13306
log
plain
-rw-r--r--
eauto.mli
1040
log
plain
-rw-r--r--
elim.ml
5603
log
plain
-rw-r--r--
elim.mli
1386
log
plain
-rw-r--r--
eqdecide.ml4
6378
log
plain
-rw-r--r--
equality.ml
42993
log
plain
-rw-r--r--
equality.mli
4261
log
plain
-rw-r--r--
evar_tactics.ml
2421
log
plain
-rw-r--r--
evar_tactics.mli
787
log
plain
-rw-r--r--
extraargs.ml4
6401
log
plain
-rw-r--r--
extraargs.mli
2162
log
plain
-rw-r--r--
extratactics.ml4
13896
log
plain
-rw-r--r--
extratactics.mli
785
log
plain
-rw-r--r--
hiddentac.ml
4577
log
plain
-rw-r--r--
hiddentac.mli
3648
log
plain
-rw-r--r--
hipattern.ml4
11129
log
plain
-rw-r--r--
hipattern.mli
4757
log
plain
-rw-r--r--
inv.ml
19268
log
plain
-rw-r--r--
inv.mli
1452
log
plain
-rw-r--r--
leminv.ml
10633
log
plain
-rw-r--r--
leminv.mli
545
log
plain
-rw-r--r--
nbtermdn.ml
2585
log
plain
-rw-r--r--
nbtermdn.mli
1353
log
plain
-rw-r--r--
refine.ml
11005
log
plain
-rw-r--r--
refine.mli
593
log
plain
-rw-r--r--
setoid_replace.ml
77275
log
plain
-rw-r--r--
setoid_replace.mli
2793
log
plain
-rw-r--r--
tacinterp.ml
99341
log
plain
-rw-r--r--
tacinterp.mli
4831
log
plain
-rw-r--r--
tacticals.ml
15174
log
plain
-rw-r--r--
tacticals.mli
6444
log
plain
-rw-r--r--
tactics.ml
93167
log
plain
-rw-r--r--
tactics.mli
11827
log
plain
-rw-r--r--
tauto.ml4
5382
log
plain
-rw-r--r--
termdn.ml
2264
log
plain
-rw-r--r--
termdn.mli
1650
log
plain