| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | seq.csv | 35020 | logplain |
| -rw-r--r-- | seq_names | 5480 | logplain |
| -rw-r--r-- | seq_tactics.csv | 43793 | logplain |
| -rw-r--r-- | seq_tree.csv | 52352 | logplain |
| -rw-r--r-- | ssrbool.csv | 16692 | logplain |
| -rw-r--r-- | ssrbool_names | 2732 | logplain |
| -rw-r--r-- | ssrbool_tactics.csv | 24554 | logplain |
| -rw-r--r-- | ssrbool_tree.csv | 31090 | logplain |
| -rw-r--r-- | ssrnat.csv | 25626 | logplain |
| -rw-r--r-- | ssrnat_names | 3908 | logplain |
| -rw-r--r-- | ssrnat_tactics.csv | 35585 | logplain |
| -rw-r--r-- | ssrnat_tree.csv | 43098 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |