| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NsatzR.v | 10851 | logplain |
| -rw-r--r-- | NsatzZ.v | 2060 | logplain |
| -rw-r--r-- | Nsatz_domain.v | 16982 | logplain |
| -rw-r--r-- | ideal.ml | 25436 | logplain |
| -rw-r--r-- | nsatz.ml4 | 16601 | logplain |
| -rw-r--r-- | nsatz_plugin.mllib | 43 | logplain |
| -rw-r--r-- | polynom.ml | 17144 | logplain |
| -rw-r--r-- | polynom.mli | 3046 | logplain |
| -rw-r--r-- | utile.ml | 3693 | logplain |
| -rw-r--r-- | utile.mli | 585 | logplain |
| -rw-r--r-- | vo.itarget | 36 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |