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
50195
log
plain
-rw-r--r--
auto.mli
9013
log
plain
-rw-r--r--
autorewrite.ml
10023
log
plain
-rw-r--r--
autorewrite.mli
2002
log
plain
-rw-r--r--
btermdn.ml
4600
log
plain
-rw-r--r--
btermdn.mli
1024
log
plain
-rw-r--r--
class_tactics.ml4
28041
log
plain
-rw-r--r--
contradiction.ml
2861
log
plain
-rw-r--r--
contradiction.mli
702
log
plain
-rw-r--r--
dn.ml
2473
log
plain
-rw-r--r--
dn.mli
1322
log
plain
-rw-r--r--
doc.tex
246
log
plain
-rw-r--r--
eauto.ml4
18934
log
plain
-rw-r--r--
eauto.mli
1350
log
plain
-rw-r--r--
elim.ml
5117
log
plain
-rw-r--r--
elim.mli
1355
log
plain
-rw-r--r--
elimschemes.ml
4275
log
plain
-rw-r--r--
elimschemes.mli
1378
log
plain
-rw-r--r--
eqdecide.ml4
6008
log
plain
-rw-r--r--
eqschemes.ml
37882
log
plain
-rw-r--r--
eqschemes.mli
1822
log
plain
-rw-r--r--
equality.ml
57933
log
plain
-rw-r--r--
equality.mli
5425
log
plain
-rw-r--r--
evar_tactics.ml
2002
log
plain
-rw-r--r--
evar_tactics.mli
754
log
plain
-rw-r--r--
extraargs.ml4
12038
log
plain
-rw-r--r--
extraargs.mli
2945
log
plain
-rw-r--r--
extratactics.ml4
26944
log
plain
-rw-r--r--
extratactics.mli
747
log
plain
-rw-r--r--
hiddentac.ml
3335
log
plain
-rw-r--r--
hiddentac.mli
4899
log
plain
-rw-r--r--
hightactics.mllib
66
log
plain
-rw-r--r--
hipattern.ml4
16341
log
plain
-rw-r--r--
hipattern.mli
6568
log
plain
-rw-r--r--
inv.ml
18512
log
plain
-rw-r--r--
inv.mli
1522
log
plain
-rw-r--r--
leminv.ml
9915
log
plain
-rw-r--r--
leminv.mli
1097
log
plain
-rw-r--r--
nbtermdn.ml
3891
log
plain
-rw-r--r--
nbtermdn.mli
1503
log
plain
-rw-r--r--
refine.ml
13006
log
plain
-rw-r--r--
refine.mli
579
log
plain
-rw-r--r--
rewrite.ml4
81551
log
plain
-rw-r--r--
tacintern.ml
37255
log
plain
-rw-r--r--
tacintern.mli
2826
log
plain
-rw-r--r--
tacinterp.ml
73631
log
plain
-rw-r--r--
tacinterp.mli
3969
log
plain
-rw-r--r--
tacsubst.ml
14542
log
plain
-rw-r--r--
tacsubst.mli
1214
log
plain
-rw-r--r--
tactic_option.ml
2156
log
plain
-rw-r--r--
tactic_option.mli
791
log
plain
-rw-r--r--
tacticals.ml
13101
log
plain
-rw-r--r--
tacticals.mli
7072
log
plain
-rw-r--r--
tactics.ml
134852
log
plain
-rw-r--r--
tactics.mli
14942
log
plain
-rw-r--r--
tactics.mllib
217
log
plain
-rw-r--r--
tauto.ml4
11799
log
plain
-rw-r--r--
termdn.ml
3978
log
plain
-rw-r--r--
termdn.mli
2334
log
plain