![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- Rewrites clauses are now part of locale expressions.
| The file was modified | thys/Graph_Theory/Euler.thy (diff) |
| The file was modified | thys/JinjaThreads/Execute/JVM_Execute.thy (diff) |
| The file was modified | thys/JinjaThreads/Execute/JVM_Execute2.thy (diff) |
| The file was modified | thys/Monomorphic_Monad/Interpreter.thy (diff) |