Impressum cover.html
Sprache: HTML
products/Sources/formale Sprachen/Roqc/doc/common/styles/html/coqremote/cover.html
<!
DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd " >
<
html xmlns=
"http://www.w3.org/1999/xhtml " lang=
"en" xml:lang=
"en" >
<
head >
<
meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8" />
<
link rel=
"shortcut icon" href=
"/favicon.ico" type=
"image/x-icon" />
<
link type=
"text/css" rel=
"stylesheet" media=
"all" href=
"/modules/node/node.css" />
<
link type=
"text/css" rel=
"stylesheet" media=
"all" href=
"/modules/system/defaults.css" />
<
link type=
"text/css" rel=
"stylesheet" media=
"all" href=
"/modules/system/system.css" />
<
link type=
"text/css" rel=
"stylesheet" media=
"all" href=
"/modules/user/user.css" />
<
link type=
"text/css" rel=
"stylesheet" media=
"all" href=
"/sites/all/themes/coq/style.css" />
<
link type=
"text/css" rel=
"stylesheet" media=
"all" href=
"/sites/all/themes/coq/coqdoc.css" />
<
title >Reference Manual | The Coq Proof Assistant</
title >
</
head >
<
body >
<
div id=
"container" >
<
div id=
"headertop" >
<
div id=
"nav" >
<
ul class=
"links-menu" >
<
li ><a href=
"/" class=
"active" >Home</a></
li >
<
li ><a href=
"/about-coq" title =
"More about coq" >About Coq</a></
li >
<
li ><a href=
"/download" >Get Coq</a></
li >
<
li ><a href=
"/documentation" >Documentation</a></
li >
<
li ><a href=
"/community" >Community</a></
li >
</
ul >
</
div >
</
div >
<
div id=
"header" >
<
div id=
"logoWrapper" >
<
div id=
"logo" ><a href=
"/" title =
"Home" ><
img src=
"/files/barron_logo.png" alt=
"Home" /></a>
</
div >
<
div id=
"siteName" ><a href=
"/" title =
"Home" >The Coq Proof Assistant</a>
</
div >
</
div >
</
div >
<
div id=
"content" >
<
br />
<
h1 style =
"text-align:center; font-weight:bold; font-size: 300%; line-height: 2ex" >Refer
ence Manual</h1 >style ="text-align:center; font-size: 120%" >Version COQVERSION</h2>br />style ="text-align:center; font-size: 150%" >The Coq Development Team</h2>br /><br /><br />style ="text-indent:0pt" >Copyright © 1999 -2019 , Inria, CNRS and contributors</p>style ="text-indent:0pt" >This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub " >http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>div >div >div >div id="sidebarWrapper" >div id="sidebar" >div class="block" >"title" >Navigation</h2>div class="content" >ul class="menu" >li class="leaf" ><a href="index.html" >Cover</a></li >li class="leaf" ><a href="toc.html" >Table of contents</a></li >li class="leaf" >Indexul class="menu" >li ><a href="general-index.html" >General</a></li >li ><a href="command-index.html" >Commands</a></li >li ><a href="option-index.html" >Options</a></li >li ><a href="tactic-index.html" >Tactics</a></li >li ><a href="error-index.html" >Errors</a></li >ul >li >ul >div >div >div >div >div id="footer" >div id="nav-footer" >ul class="links-menu-footer" >li ><a href="mailto:coq-www_@_inria.fr" >webmaster</a></li >li ><a href="http://validator.w3.org/ " >xhtml valid</a></li >li ><a href="http://jigsaw.w3.org/css-validator/ " >CSS valid</a></li >ul >div >div >body >html > Messung V0.5 in Prozent C=94 H=96 G=94
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.16Bemerkung:
(vorverarbeitet am 2026-06-17)
¤ *Bot Zugriff
2026-07-27
