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
2311
log
plain
-rw-r--r--
AsyncProofs.tex
11136
log
plain
-rw-r--r--
CanonicalStructures.tex
15574
log
plain
-rw-r--r--
Cases.tex
27486
log
plain
-rw-r--r--
Classes.tex
24046
log
plain
-rw-r--r--
Coercion.tex
19014
log
plain
-rw-r--r--
Extraction.tex
24857
log
plain
-rw-r--r--
Micromega.tex
11347
log
plain
-rw-r--r--
Misc.tex
1974
log
plain
-rw-r--r--
Nsatz.tex
4003
log
plain
-rw-r--r--
Omega.tex
6791
log
plain
-rw-r--r--
Polynom.tex
29925
log
plain
-rw-r--r--
Program.tex
14130
log
plain
-rw-r--r--
RefMan-add.tex
2580
log
plain
-rw-r--r--
RefMan-cic.tex
86874
log
plain
-rw-r--r--
RefMan-coi.tex
16333
log
plain
-rw-r--r--
RefMan-com.tex
13800
log
plain
-rw-r--r--
RefMan-ext.tex
76498
log
plain
-rw-r--r--
RefMan-gal.tex
64795
log
plain
-rw-r--r--
RefMan-ide.tex
13429
log
plain
-rw-r--r--
RefMan-int.tex
6475
log
plain
-rw-r--r--
RefMan-lib.tex
32665
log
plain
-rw-r--r--
RefMan-ltac.tex
66559
log
plain
-rw-r--r--
RefMan-mod.tex
11749
log
plain
-rw-r--r--
RefMan-modr.tex
14781
log
plain
-rw-r--r--
RefMan-oth.tex
50567
log
plain
-rw-r--r--
RefMan-pre.tex
66163
log
plain
-rw-r--r--
RefMan-pro.tex
20780
log
plain
-rw-r--r--
RefMan-sch.tex
13378
log
plain
-rw-r--r--
RefMan-ssr.tex
197142
log
plain
-rw-r--r--
RefMan-syn.tex
50036
log
plain
-rw-r--r--
RefMan-tac.tex
200044
log
plain
-rw-r--r--
RefMan-tacex.tex
30351
log
plain
-rw-r--r--
RefMan-tus.tex
82827
log
plain
-rw-r--r--
RefMan-uti.tex
22016
log
plain
-rw-r--r--
Reference-Manual.tex
4759
log
plain
-rw-r--r--
Setoid.tex
38512
log
plain
-rw-r--r--
Universes.tex
14140
log
plain
-rw-r--r--
biblio.bib
43090
log
plain
-rw-r--r--
coq-listing.tex
4216
log
plain
-rw-r--r--
coqdoc.tex
18448
log
plain
-rw-r--r--
coqide-queries.png
27316
log
plain
-rw-r--r--
coqide.png
20953
log
plain
-rw-r--r--
headers.hva
1489
log
plain
-rw-r--r--
headers.sty
3084
log
plain
-rw-r--r--
hevea.sty
2685
log
plain
-rw-r--r--
index.html
187
log
plain
-rw-r--r--
menu.html
955
log
plain