| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Nametab.v | 1786 | logplain |
| -rw-r--r-- | Nat.v | 979 | logplain |
| -rw-r--r-- | PO.v | 1596 | logplain |
| -rw-r--r-- | Przyklad.v | 3814 | logplain |
| -rw-r--r-- | fun_objects.v | 368 | logplain |
| -rw-r--r-- | grammar.v | 249 | logplain |
| -rw-r--r-- | modul.v | 442 | logplain |
| -rw-r--r-- | modulik.v | 67 | logplain |
| -rw-r--r-- | obj.v | 330 | logplain |
| -rw-r--r-- | objects.v | 359 | logplain |
| -rw-r--r-- | pliczek.v | 58 | logplain |
| -rw-r--r-- | plik.v | 103 | logplain |
| -rw-r--r-- | sub_objects.v | 608 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |