| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 58 | logplain |
| -rw-r--r-- | trac-200.thy | 276 | logplain |
| -rw-r--r-- | trac-206.thy | 363 | logplain |
| -rw-r--r-- | trac-296.v | 179 | logplain |
| -rw-r--r-- | trac-307.thy | 258 | logplain |
| -rw-r--r-- | trac109.v | 82 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |