![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
Summary
- updated to Metis 2.4 (release 20200713)
| The file was modified | src/Tools/Metis/README (diff) |
| The file was modified | src/Tools/Metis/metis.ML (diff) |
| The file was modified | src/Tools/Metis/src/Active.sml (diff) |
| The file was modified | src/Tools/Metis/src/Rewrite.sml (diff) |
| The file was modified | src/Tools/Metis/src/Thm.sml (diff) |
| The file was modified | src/Tools/Metis/src/metis.sml (diff) |
| The file was modified | src/Tools/Metis/src/selftest.sml (diff) |