Revision 230821017cba8de8bfbb33bd67e7754ef51aa1ff authored by Štěpán Holub on 05 February 2021, 20:45:53 UTC, committed by Štěpán Holub on 05 February 2021, 20:45:53 UTC
1 parent ee6df93
| 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 |
| CHANGELOG | -rw-r--r-- | 575 bytes |
| CoWBasic.thy | -rw-r--r-- | 156.4 KB |
| GraphLemma.thy | -rw-r--r-- | 27.5 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| LyndonSchutzenberger.thy | -rw-r--r-- | 18.8 KB |
| PeriodicityLemma.thy | -rw-r--r-- | 21.0 KB |
| README.md | -rw-r--r-- | 4.1 KB |
| ROOT | -rw-r--r-- | 563 bytes |
| Submonoids.thy | -rw-r--r-- | 56.8 KB |
Computing file changes ...
