| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 58 | logplain |
| -rw-r--r-- | Trac140.v | 590 | logplain |
| -rw-r--r-- | Trac345.thy | 121 | 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-- | trac-345.thy | 104 | logplain |
| -rw-r--r-- | trac-346.v | 179 | logplain |
| -rw-r--r-- | trac109.v | 82 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |