HEAD | a4ae713 | v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic | 14 May 2021, 15:37:50 UTC |
refs/heads/Archive-Reversal-Symmetry | d1a825e | added Examples.thy, updated Readme and CoWBasic.thy | 31 March 2021, 08:54:56 UTC |
refs/heads/Binary-Intersection-Formalized | 314a584 | added arxiv link to Binary Intersection Formalized | 01 July 2020, 07:02:59 UTC |
refs/heads/master | a4ae713 | v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic | 14 May 2021, 15:37:50 UTC |
refs/tags/v1.1 | b91127f | v1.1: proof and naming optimizations, additions to CoWBasic, LyndonSchutzenberger, PeriodicityLemma CHANGELOG | 01 February 2021, 15:52:01 UTC |
refs/tags/v1.2 | f59c448 | v1.2: quickfix of ExampleBasic.thy | 22 February 2021, 15:34:45 UTC |