| Mode | Name | Size | |
|---|---|---|---|
| d--------- | multiple | 165 | logplain |
| -rw-r--r-- | nested.v | 3321 | logplain |
| -rw-r--r-- | parsing.v | 137 | logplain |
| -rw-r--r-- | queryreplace.v | 1447 | logplain |
| -rw-r--r-- | unnamed_thm.v | 484 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |