Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated if_split_asm;
  2. removed dead code;
  3. merged;
  4. tuned;
  5. tuned;
Changeset 6604:ecb3ab314e5e by wenzelm:
updated if_split_asm;
The file was modified thys/MFMC_Countable/MFMC_Misc.thy (diff)
The file was modified thys/MFMC_Countable/Max_Flow_Min_Cut_Countable.thy (diff)
Changeset 6603:2b27005d7199 by wenzelm:
removed dead code;
The file was removedthys/Planarity_Certificates/Planarity/Full.thy
Changeset 6602:3f1b65ae9ebc by wenzelm:
merged;
Changeset 6601:351083c0c976 by wenzelm:
tuned;
The file was modified thys/Featherweight_OCL/ROOT (diff)
Changeset 6600:b8f224258af7 by wenzelm:
tuned;
The file was modified thys/HereditarilyFinite/ROOT (diff)