| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 33 | logplain |
| -rw-r--r-- | 11042-0.txt | 158791 | logplain |
| d--------- | 11042-h | 39 | logplain |
| -rw-r--r-- | LICENSE.txt | 539 | logplain |
| -rw-r--r-- | README.md | 122 | logplain |
| d--------- | old | 225 | logplain |
 |
index : 11042.git | |
| Isabelle |
| summaryrefslogtreecommitdiff |