index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
Mode
Name
Size
-rw-r--r--
AddRefMan-pre.tex
2306
log
plain
-rw-r--r--
Cases.tex
27424
log
plain
-rw-r--r--
Classes.tex
15494
log
plain
-rw-r--r--
Coercion.tex
19094
log
plain
-rw-r--r--
Extraction.tex
21264
log
plain
-rw-r--r--
Helm.tex
13834
log
plain
-rw-r--r--
Micromega.tex
10631
log
plain
-rw-r--r--
Natural.tex
11945
log
plain
-rw-r--r--
Nsatz.tex
4002
log
plain
-rw-r--r--
Omega.tex
6830
log
plain
-rw-r--r--
Polynom.tex
40612
log
plain
-rw-r--r--
Program.tex
12914
log
plain
-rw-r--r--
RefMan-add.tex
2580
log
plain
-rw-r--r--
RefMan-cic.tex
76294
log
plain
-rw-r--r--
RefMan-coi.tex
16338
log
plain
-rw-r--r--
RefMan-com.tex
13639
log
plain
-rw-r--r--
RefMan-decl.tex
23079
log
plain
-rw-r--r--
RefMan-ext.tex
65940
log
plain
-rw-r--r--
RefMan-gal.tex
62961
log
plain
-rw-r--r--
RefMan-ide.tex
13746
log
plain
-rw-r--r--
RefMan-ind.tex
18627
log
plain
-rw-r--r--
RefMan-int.tex
6702
log
plain
-rw-r--r--
RefMan-lib.tex
32372
log
plain
-rw-r--r--
RefMan-ltac.tex
46904
log
plain
-rw-r--r--
RefMan-mod.tex
11492
log
plain
-rw-r--r--
RefMan-modr.tex
14780
log
plain
-rw-r--r--
RefMan-oth.tex
48204
log
plain
-rw-r--r--
RefMan-pre.tex
44723
log
plain
-rw-r--r--
RefMan-pro.tex
14409
log
plain
-rw-r--r--
RefMan-syn.tex
46576
log
plain
-rw-r--r--
RefMan-tac.tex
171320
log
plain
-rw-r--r--
RefMan-tacex.tex
44736
log
plain
-rw-r--r--
RefMan-tus.tex
82824
log
plain
-rw-r--r--
RefMan-uti.tex
9584
log
plain
-rw-r--r--
Reference-Manual.tex
3932
log
plain
-rw-r--r--
Setoid.tex
33309
log
plain
-rw-r--r--
biblio.bib
39036
log
plain
-rw-r--r--
coqdoc.tex
17820
log
plain
-rw-r--r--
coqide-queries.eps
187058
log
plain
-rw-r--r--
coqide-queries.png
27316
log
plain
-rw-r--r--
coqide.eps
158733
log
plain
-rw-r--r--
coqide.png
20953
log
plain
-rw-r--r--
headers.hva
1487
log
plain
-rw-r--r--
headers.sty
3194
log
plain
-rw-r--r--
hevea.sty
2685
log
plain
-rw-r--r--
index.html
187
log
plain
-rw-r--r--
menu.html
837
log
plain