index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
vernac
Mode
Name
Size
-rw-r--r--
assumptions.ml
14391
log
plain
-rw-r--r--
assumptions.mli
1586
log
plain
-rw-r--r--
auto_ind_decl.ml
41455
log
plain
-rw-r--r--
auto_ind_decl.mli
1743
log
plain
-rw-r--r--
class.ml
10807
log
plain
-rw-r--r--
class.mli
2293
log
plain
-rw-r--r--
classes.ml
18004
log
plain
-rw-r--r--
classes.mli
2308
log
plain
-rw-r--r--
comAssumption.ml
7231
log
plain
-rw-r--r--
comAssumption.mli
1544
log
plain
-rw-r--r--
comDefinition.ml
5088
log
plain
-rw-r--r--
comDefinition.mli
1485
log
plain
-rw-r--r--
comFixpoint.ml
14710
log
plain
-rw-r--r--
comFixpoint.mli
3598
log
plain
-rw-r--r--
comInductive.ml
22191
log
plain
-rw-r--r--
comInductive.mli
2629
log
plain
-rw-r--r--
comProgramFixpoint.ml
15072
log
plain
-rw-r--r--
comProgramFixpoint.mli
369
log
plain
-rw-r--r--
declareDef.ml
2738
log
plain
-rw-r--r--
declareDef.mli
1240
log
plain
-rw-r--r--
egramcoq.ml
21008
log
plain
-rw-r--r--
egramcoq.mli
1131
log
plain
-rw-r--r--
egramml.ml
3358
log
plain
-rw-r--r--
egramml.mli
1565
log
plain
-rw-r--r--
explainErr.ml
5458
log
plain
-rw-r--r--
explainErr.mli
1133
log
plain
-rw-r--r--
g_proofs.mlg
6221
log
plain
-rw-r--r--
g_vernac.mlg
47561
log
plain
-rw-r--r--
himsg.ml
56347
log
plain
-rw-r--r--
himsg.mli
1962
log
plain
-rw-r--r--
indschemes.ml
19007
log
plain
-rw-r--r--
indschemes.mli
2042
log
plain
-rw-r--r--
lemmas.ml
21605
log
plain
-rw-r--r--
lemmas.mli
3220
log
plain
-rw-r--r--
locality.ml
2669
log
plain
-rw-r--r--
locality.mli
1936
log
plain
-rw-r--r--
metasyntax.ml
66009
log
plain
-rw-r--r--
metasyntax.mli
2338
log
plain
-rw-r--r--
misctypes.ml
4057
log
plain
-rw-r--r--
mltop.ml
15924
log
plain
-rw-r--r--
mltop.mli
3416
log
plain
-rw-r--r--
obligations.ml
43309
log
plain
-rw-r--r--
obligations.mli
4699
log
plain
-rw-r--r--
ppvernac.ml
47190
log
plain
-rw-r--r--
ppvernac.mli
1292
log
plain
-rw-r--r--
proof_using.ml
6758
log
plain
-rw-r--r--
proof_using.mli
1125
log
plain
-rw-r--r--
pvernac.ml
2101
log
plain
-rw-r--r--
pvernac.mli
1484
log
plain
-rw-r--r--
record.ml
28585
log
plain
-rw-r--r--
record.mli
1454
log
plain
-rw-r--r--
search.ml
13254
log
plain
-rw-r--r--
search.mli
3435
log
plain
-rw-r--r--
topfmt.ml
13652
log
plain
-rw-r--r--
topfmt.mli
2425
log
plain
-rw-r--r--
vernac.mllib
353
log
plain
-rw-r--r--
vernacentries.ml
97820
log
plain
-rw-r--r--
vernacentries.mli
2955
log
plain
-rw-r--r--
vernacexpr.ml
21404
log
plain
-rw-r--r--
vernacinterp.ml
3029
log
plain
-rw-r--r--
vernacinterp.mli
1622
log
plain
-rw-r--r--
vernacprop.ml
2106
log
plain
-rw-r--r--
vernacprop.mli
1330
log
plain
-rw-r--r--
vernacstate.ml
1550
log
plain
-rw-r--r--
vernacstate.mli
1064
log
plain