index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
proofs
Mode
Name
Size
-rw-r--r--
clenv.ml
26011
log
plain
-rw-r--r--
clenv.mli
6979
log
plain
-rw-r--r--
clenvtac.ml
5539
log
plain
-rw-r--r--
clenvtac.mli
1183
log
plain
-rw-r--r--
evar_refiner.ml
2626
log
plain
-rw-r--r--
evar_refiner.mli
912
log
plain
-rw-r--r--
goal.ml
5493
log
plain
-rw-r--r--
goal.mli
3037
log
plain
-rw-r--r--
goal_select.ml
2517
log
plain
-rw-r--r--
goal_select.mli
1225
log
plain
-rw-r--r--
logic.ml
22918
log
plain
-rw-r--r--
logic.mli
2746
log
plain
-rw-r--r--
miscprint.ml
2720
log
plain
-rw-r--r--
miscprint.mli
1244
log
plain
-rw-r--r--
pfedit.ml
10522
log
plain
-rw-r--r--
pfedit.mli
5191
log
plain
-rw-r--r--
proof.ml
18084
log
plain
-rw-r--r--
proof.mli
8924
log
plain
-rw-r--r--
proof_bullet.ml
6855
log
plain
-rw-r--r--
proof_bullet.mli
2229
log
plain
-rw-r--r--
proof_global.ml
19258
log
plain
-rw-r--r--
proof_global.mli
7634
log
plain
-rw-r--r--
proof_type.ml
1087
log
plain
-rw-r--r--
proofs.mllib
142
log
plain
-rw-r--r--
redexpr.ml
9959
log
plain
-rw-r--r--
redexpr.mli
1887
log
plain
-rw-r--r--
refine.ml
6509
log
plain
-rw-r--r--
refine.mli
2590
log
plain
-rw-r--r--
refiner.ml
11570
log
plain
-rw-r--r--
refiner.mli
6205
log
plain
-rw-r--r--
tacmach.ml
7328
log
plain
-rw-r--r--
tacmach.mli
5925
log
plain
-rw-r--r--
tactypes.ml
2320
log
plain