| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Demo.v | 595 | logplain |
| -rw-r--r-- | Nametab.v | 779 | logplain |
| -rw-r--r-- | Nat.v | 286 | logplain |
| -rw-r--r-- | PO.v | 1030 | logplain |
| -rw-r--r-- | Przyklad.v | 3840 | logplain |
| -rw-r--r-- | Tescik.v | 469 | logplain |
| -rw-r--r-- | fun_objects.v | 387 | logplain |
| -rw-r--r-- | grammar.v | 260 | logplain |
| -rw-r--r-- | ind.v | 192 | logplain |
| -rw-r--r-- | mod_decl.v | 672 | logplain |
| -rw-r--r-- | modeq.v | 311 | logplain |
| -rw-r--r-- | modul.v | 454 | logplain |
| -rw-r--r-- | obj.v | 339 | logplain |
| -rw-r--r-- | objects.v | 362 | logplain |
| -rw-r--r-- | pliczek.v | 58 | logplain |
| -rw-r--r-- | plik.v | 103 | logplain |
| -rw-r--r-- | sig.v | 409 | logplain |
| -rw-r--r-- | sub_objects.v | 593 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |