| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | List.v | 6708 | logplain |
| -rw-r--r-- | ListSet.v | 10713 | logplain |
| -rwxr-xr-x | MonoList.v | 6666 | logplain |
| -rw-r--r-- | PolyList.v | 15028 | logplain |
| -rw-r--r-- | PolyListSyntax.v | 602 | logplain |
| -rwxr-xr-x | Streams.v | 4350 | logplain |
| -rwxr-xr-x | TheoryList.v | 9997 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |