![[Jenkins]](/jenkins/static/334b159c/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Unify formatting in LTL entry
| The file was modified | thys/LTL/Code_Equations.thy |
| The file was modified | thys/LTL/Disjunctive_Normal_Form.thy |
| The file was modified | thys/LTL/Equivalence_Relations.thy |
| The file was modified | thys/LTL/ROOT |
| The file was modified | thys/LTL/Rewriting.thy |
| The file was modified | thys/LTL/Syntactic_Fragments.thy |
| The file was modified | thys/LTL/example/Example.thy |