| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 72 | logplain |
| -rw-r--r-- | 55817-0.txt | 108561 | logplain |
| d--------- | 55817-h | 72 | logplain |
| -rw-r--r-- | LICENSE.txt | 539 | logplain |
| -rw-r--r-- | README.md | 122 | logplain |
 |
index : 55817.git | |
| Automata Old and New |
| summaryrefslogtreecommitdiff |