| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | undo.v | 1866 | logplain |
| -rw-r--r-- | undo001.fake | 258 | logplain |
| -rw-r--r-- | undo002.fake | 262 | logplain |
| -rw-r--r-- | undo003.fake | 191 | logplain |
| -rw-r--r-- | undo004.fake | 294 | logplain |
| -rw-r--r-- | undo005.fake | 329 | logplain |
| -rw-r--r-- | undo006.fake | 297 | logplain |
| -rw-r--r-- | undo007.fake | 354 | logplain |
| -rw-r--r-- | undo008.fake | 389 | logplain |
| -rw-r--r-- | undo009.fake | 472 | logplain |
| -rw-r--r-- | undo010.fake | 596 | logplain |
| -rw-r--r-- | undo011.fake | 678 | logplain |
| -rw-r--r-- | undo012.fake | 602 | logplain |
| -rw-r--r-- | undo013.fake | 682 | logplain |
| -rw-r--r-- | undo014.fake | 549 | logplain |
| -rw-r--r-- | undo015.fake | 630 | logplain |
| -rw-r--r-- | undo016.fake | 754 | logplain |
| -rw-r--r-- | undo017.fake | 252 | logplain |
| -rw-r--r-- | undo018.fake | 251 | logplain |
| -rw-r--r-- | undo019.fake | 237 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |