| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DoubleAdd.v | 11509 | logplain |
| -rw-r--r-- | DoubleBase.v | 13537 | logplain |
| -rw-r--r-- | DoubleCyclic.v | 27060 | logplain |
| -rw-r--r-- | DoubleDiv.v | 58000 | logplain |
| -rw-r--r-- | DoubleDivn1.v | 21274 | logplain |
| -rw-r--r-- | DoubleLift.v | 19779 | logplain |
| -rw-r--r-- | DoubleMul.v | 24415 | logplain |
| -rw-r--r-- | DoubleSqrt.v | 49716 | logplain |
| -rw-r--r-- | DoubleSub.v | 12662 | logplain |
| -rw-r--r-- | DoubleType.v | 1933 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |