Revision 31c1cf1fe62f33c94553c640626b489c1705f30c authored by Štěpán Starosta on 17 January 2021, 19:44:22 UTC, committed by Štěpán Starosta on 17 January 2021, 19:44:22 UTC
1 parent 5ab864a
| File | Mode | Size |
|---|---|---|
| document | ||
| .gitignore | -rw-r--r-- | 1.0 KB |
| .gitlab-ci.yml | -rw-r--r-- | 1.2 KB |
| Borders.thy | -rw-r--r-- | 45.1 KB |
| Borders_Addition.thy | -rw-r--r-- | 4.4 KB |
| CoWBasic.thy | -rw-r--r-- | 140.4 KB |
| GraphLemma.thy | -rw-r--r-- | 27.4 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| LyndonSchutzenberger.thy | -rw-r--r-- | 17.8 KB |
| PeriodicityLemma.thy | -rw-r--r-- | 20.8 KB |
| README.md | -rw-r--r-- | 3.9 KB |
| ROOT | -rw-r--r-- | 563 bytes |
| Submonoids.thy | -rw-r--r-- | 55.9 KB |
Computing file changes ...
