Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more standard options;
  3. clarified imports;
Changeset 8179:46275a014616 by wenzelm:
merged
Changeset 8178:90475bf15090 by wenzelm:
more standard options;
The file was modified thys/Flow_Networks/ROOT (diff)
The file was modified thys/Prpu_Maxflow/ROOT (diff)
The file was modified thys/Separata/ROOT (diff)
The file was modified thys/Stewart_Apollonius/ROOT (diff)
Changeset 8177:0cdf1995ef7e by wenzelm:
clarified imports;
The file was modified thys/Abs_Int_ITP2012/ROOT (diff)
The file was modified thys/Applicative_Lifting/ROOT (diff)
The file was modified thys/Automatic_Refinement/ROOT (diff)
The file was modified thys/Berlekamp_Zassenhaus/ROOT (diff)
The file was modified thys/CRDT/ROOT (diff)
The file was modified thys/Category2/ROOT (diff)
The file was modified thys/Decl_Sem_Fun_PL/ROOT (diff)
The file was modified thys/Elliptic_Curves_Group_Law/ROOT (diff)
The file was modified thys/HOLCF-Prelude/ROOT (diff)
The file was modified thys/IP_Addresses/ROOT (diff)
The file was modified thys/Network_Security_Policy_Verification/ROOT (diff)
The file was modified thys/Optics/ROOT (diff)
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)
The file was modified thys/ROBDD/ROOT (diff)
The file was modified thys/Random_BSTs/ROOT (diff)
The file was modified thys/Refine_Imperative_HOL/ROOT (diff)
The file was modified thys/Regex_Equivalence/ROOT (diff)
The file was modified thys/Separation_Logic_Imperative_HOL/ROOT (diff)
The file was modified thys/Simpl/ROOT (diff)
The file was modified thys/Stewart_Apollonius/ROOT (diff)
The file was modified thys/SuperCalc/ROOT (diff)
The file was modified thys/Twelvefold_Way/ROOT (diff)