Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. avoid clash with (new) global if_split
Changeset 6371:1fb2c1cedac0 by nipkow:
avoid clash with (new) global if_split
The file was modified thys/JinjaThreads/Basic/Auxiliary.thy (diff)
The file was modified thys/JinjaThreads/Compiler/Correctness1.thy (diff)