| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | algorithm1.png | 249326 | logplain |
| -rw-r--r-- | algorithm2.png | 253897 | logplain |
| -rw-r--r-- | clusters1.png | 117359 | logplain |
| -rw-r--r-- | clusters1pg.png | 138300 | logplain |
| -rw-r--r-- | clusters2.png | 93270 | logplain |
| -rw-r--r-- | clusters2pg.png | 69517 | logplain |
| -rw-r--r-- | export.png | 65552 | logplain |
| -rw-r--r-- | fig1.png | 32650 | logplain |
| -rw-r--r-- | fig1pg.png | 102528 | logplain |
| -rw-r--r-- | fig2.png | 83087 | logplain |
| -rw-r--r-- | fig3.png | 89061 | logplain |
| -rw-r--r-- | fig4.png | 129581 | logplain |
| -rw-r--r-- | fig5.png | 106362 | logplain |
| -rw-r--r-- | frequencies.png | 125515 | logplain |
| -rw-r--r-- | granularity.png | 122487 | logplain |
| -rw-r--r-- | levels.png | 261362 | logplain |
| -rw-r--r-- | ml_system1.png | 249326 | logplain |
| -rw-r--r-- | ml_system2.png | 179177 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
