Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | AddRefMan-pre.tex | 2341 | logplain |
-rw-r--r-- | AsyncProofs.tex | 11193 | logplain |
-rw-r--r-- | Coercion.tex | 19058 | logplain |
-rw-r--r-- | Extraction.tex | 25021 | logplain |
-rw-r--r-- | Misc.tex | 2009 | logplain |
-rw-r--r-- | Nsatz.tex | 4030 | logplain |
-rw-r--r-- | Polynom.tex | 29951 | logplain |
-rw-r--r-- | Program.tex | 14159 | logplain |
-rw-r--r-- | RefMan-gal.tex | 64998 | logplain |
-rw-r--r-- | RefMan-ltac.tex | 68611 | logplain |
-rw-r--r-- | RefMan-oth.tex | 51714 | logplain |
-rw-r--r-- | RefMan-pro.tex | 21417 | logplain |
-rw-r--r-- | RefMan-uti.tex | 20841 | logplain |
-rw-r--r-- | Reference-Manual.tex | 4093 | logplain |
-rw-r--r-- | Setoid.tex | 38540 | logplain |
-rw-r--r-- | Universes.tex | 15407 | logplain |
-rw-r--r-- | biblio.bib | 43090 | logplain |
-rw-r--r-- | coq-listing.tex | 4216 | logplain |
-rw-r--r-- | coqdoc.tex | 18448 | logplain |
-rw-r--r-- | coqide-queries.png | 66656 | logplain |
-rw-r--r-- | coqide.png | 59662 | logplain |
-rw-r--r-- | headers.hva | 1489 | logplain |
-rw-r--r-- | headers.sty | 3084 | logplain |
-rw-r--r-- | hevea.sty | 2685 | logplain |
-rw-r--r-- | index.html | 188 | logplain |
-rw-r--r-- | menu.html | 955 | logplain |