| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | KnasterTarski.v | 898 | logplain |
| -rw-r--r-- | ex-ssreflect.v | 3807 | logplain |
| -rw-r--r-- | example-utf8.v | 432 | logplain |
| -rw-r--r-- | indent.v | 9929 | logplain |
| -rw-r--r-- | indent_equations.v | 1914 | logplain |
| -rw-r--r-- | indent_monadic.v | 1183 | logplain |
| -rw-r--r-- | mult1.v | 57 | logplain |
| -rw-r--r-- | mult2.v | 103 | logplain |
| -rw-r--r-- | mult3.v | 73 | logplain |
| d--------- | test-cases | 371 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |