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--
.cvsignore
9
log
plain
-rw-r--r--
auto.ml
30470
log
plain
-rw-r--r--
auto.mli
6266
log
plain
-rw-r--r--
autorewrite.ml
3442
log
plain
-rw-r--r--
autorewrite.mli
858
log
plain
-rw-r--r--
btermdn.ml
1528
log
plain
-rw-r--r--
btermdn.mli
900
log
plain
-rw-r--r--
contradiction.ml
2666
log
plain
-rw-r--r--
contradiction.mli
726
log
plain
-rw-r--r--
dhyp.ml
11425
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
13872
log
plain
-rw-r--r--
eauto.mli
847
log
plain
-rw-r--r--
elim.ml
5631
log
plain
-rw-r--r--
elim.mli
1386
log
plain
-rw-r--r--
eqdecide.ml4
5883
log
plain
-rw-r--r--
equality.ml
41240
log
plain
-rw-r--r--
equality.mli
2749
log
plain
-rw-r--r--
evar_tactics.ml
2324
log
plain
-rw-r--r--
evar_tactics.mli
785
log
plain
-rw-r--r--
extraargs.ml4
3044
log
plain
-rw-r--r--
extraargs.mli
1202
log
plain
-rw-r--r--
extratactics.ml4
9666
log
plain
-rw-r--r--
extratactics.mli
767
log
plain
-rw-r--r--
hiddentac.ml
4484
log
plain
-rw-r--r--
hiddentac.mli
3884
log
plain
-rw-r--r--
hipattern.ml
11610
log
plain
-rw-r--r--
hipattern.mli
4837
log
plain
-rw-r--r--
inv.ml
19423
log
plain
-rw-r--r--
inv.mli
1487
log
plain
-rw-r--r--
leminv.ml
10517
log
plain
-rw-r--r--
leminv.mli
528
log
plain
-rw-r--r--
nbtermdn.ml
2563
log
plain
-rw-r--r--
nbtermdn.mli
1335
log
plain
-rw-r--r--
refine.ml
10912
log
plain
-rw-r--r--
refine.mli
609
log
plain
-rw-r--r--
setoid_replace.ml
23886
log
plain
-rw-r--r--
setoid_replace.mli
949
log
plain
-rw-r--r--
tacinterp.ml
85204
log
plain
-rw-r--r--
tacinterp.mli
4468
log
plain
-rw-r--r--
tacticals.ml
15182
log
plain
-rw-r--r--
tacticals.mli
6403
log
plain
-rw-r--r--
tactics.ml
69684
log
plain
-rw-r--r--
tactics.mli
8959
log
plain
-rw-r--r--
tauto.ml4
6161
log
plain
-rw-r--r--
termdn.ml
2352
log
plain
-rw-r--r--
termdn.mli
1628
log
plain