| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Record.html.out | 1694 | logplain |
| -rw-r--r-- | Record.tex.out | 1423 | logplain |
| -rw-r--r-- | Record.v | 78 | logplain |
| -rw-r--r-- | binder.html.out | 1405 | logplain |
| -rw-r--r-- | binder.tex.out | 1223 | logplain |
| -rw-r--r-- | binder.v | 64 | logplain |
| -rw-r--r-- | bug11194.html.out | 2373 | logplain |
| -rw-r--r-- | bug11194.tex.out | 1969 | logplain |
| -rw-r--r-- | bug11194.v | 198 | logplain |
| -rw-r--r-- | bug11353.html.out | 2811 | logplain |
| -rw-r--r-- | bug11353.tex.out | 2169 | logplain |
| -rw-r--r-- | bug11353.v | 219 | logplain |
| -rw-r--r-- | bug5648.html.out | 3426 | logplain |
| -rw-r--r-- | bug5648.tex.out | 3094 | logplain |
| -rw-r--r-- | bug5648.v | 237 | logplain |
| -rw-r--r-- | bug5700.html.out | 1167 | logplain |
| -rw-r--r-- | bug5700.tex.out | 1182 | logplain |
| -rw-r--r-- | bug5700.v | 138 | logplain |
| -rw-r--r-- | links.html.out | 18216 | logplain |
| -rw-r--r-- | links.tex.out | 11608 | logplain |
| -rw-r--r-- | links.v | 1652 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |