← Back to branch summary

~ubuntu-branches/ubuntu/hardy/coq-doc/hardy

« back to all changes in this revision

Viewing changes to library/Coq.NArith.NArith.html

  • Committer: Bazaar Package Importer
  • Author(s): Samuel Mimram
  • Date: 2004-09-18 13:28:22 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20040918132822-ees5mb8qmzd6a0fw
Tags: 8.0pl1.0-1
http://bugs.debian.org/272204
* Added the Coq faq, moved the tutorial to the root directory and added
  doc-base files for both, closes: #272204.
* Set dh_compat to level 4.

Show diffs side-by-side

added added

removed removed

Lines of Context:
library/Coq.NArith.NArith.html
 
1
<html xmlns="http://www.w3.org/1999/xhtml">
 
2
<head>
 
3
<meta http-equiv="Content-Type" content="text/html; charset="><link rel="stylesheet" href="style.css" type="text/css"><title>Coq.NArith.NArith</title>
 
4
</head>
 
5
 
 
6
<body>
 
7
 
 
8
<h1>Library Coq.NArith.NArith</h1>
 
9
 
 
10
<code>
 
11
</code>
 
12
 
 
13
<table width="100%"><tr class="doc"><td>
 
14
Library for binary natural numbers 
 
15
</td></tr></table>
 
16
<code>
 
17
 
 
18
<br/>
 
19
<code class="keyword">Require</code> <code class="keyword">Export</code> <a href="Coq.NArith.BinPos.html">BinPos</a>.<br/>
 
20
<code class="keyword">Require</code> <code class="keyword">Export</code> <a href="Coq.NArith.BinNat.html">BinNat</a>.</code>
 
21
<hr/><a href="index.html">Index</a><hr/><font size="-1">This page has been generated by <a href="http://www.lri.fr/~filliatr/coqdoc/">coqdoc</a></font>
 
22
</body>
 
23
</html>
 
 
b'\\ No newline at end of file'