| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | configwin.ml | 2806 | logplain |
| -rw-r--r-- | configwin.mli | 8113 | logplain |
| -rw-r--r-- | configwin_ihm.ml | 25127 | logplain |
| -rw-r--r-- | configwin_ihm.mli | 3490 | logplain |
| -rw-r--r-- | configwin_messages.ml | 2575 | logplain |
| -rw-r--r-- | configwin_types.mli | 6486 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |