Skip to content
Success

Changes

Summary

  1. eliminated obsolete print mode;
  2. more parallel build;
  3. obsolete;
  4. cleanup;
  5. proper print mode;
  6. cleanup;
  7. discontinued obsolete print mode;
  8. tuned whitespace;
  9. discontinued obsolete print mode;
  10. tuned whitespace;
  11. discontinued obsolete print mode;
Changeset 7988:5d8dd85b24e0 by wenzelm:
eliminated obsolete print mode;
The file was modified thys/Security_Protocol_Refinement/Auth_simple/m3_sig.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_ds.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_ds_par.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_kerberos4.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_kerberos5.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_kerberos_par.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_nssk.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Key_establish/m3_nssk_par.thy (diff)
The file was modified thys/Security_Protocol_Refinement/Refinement/Message.thy (diff)
Changeset 7987:760ac5157372 by wenzelm:
more parallel build;
The file was modified thys/Security_Protocol_Refinement/ROOT (diff)
Changeset 7986:0eda4a2b1e6b by wenzelm:
obsolete;
The file was modified thys/Key_Agreement_Strong_Adversaries/Messages.thy (diff)
Changeset 7985:d486326495f5 by wenzelm:
cleanup;
The file was modified thys/Key_Agreement_Strong_Adversaries/ROOT (diff)
The file was modified thys/Security_Protocol_Refinement/ROOT (diff)
Changeset 7984:5dd0c0366a69 by wenzelm:
proper print mode;
The file was modified thys/Concurrent_Ref_Alg/Refinement_Lattice.thy (diff)
Changeset 7983:b39c252968d7 by wenzelm:
cleanup;
The file was modified thys/Concurrent_Ref_Alg/ROOT (diff)
Changeset 7982:3cd853f843d1 by wenzelm:
discontinued obsolete print mode;
The file was modified thys/Stone_Relation_Algebras/Matrix_Relation_Algebras.thy (diff)
Changeset 7981:b5878acc3ba7 by wenzelm:
tuned whitespace;
The file was modified thys/Stone_Algebras/ROOT (diff)
Changeset 7980:a20849cfe8f4 by wenzelm:
discontinued obsolete print mode;
The file was modified thys/SPARCv8/lib/wp/DetMonad.thy (diff)
The file was modified thys/SPARCv8/lib/wp/DetMonadLemmas.thy (diff)
Changeset 7979:9d7217a03971 by wenzelm:
tuned whitespace;
The file was modified thys/Stone_Relation_Algebras/ROOT (diff)
Changeset 7978:20e5defcf389 by wenzelm:
discontinued obsolete print mode;
The file was modified thys/UPF/ElementaryPolicies.thy (diff)
The file was modified thys/UPF/Monads.thy (diff)
The file was modified thys/UPF/SeqComposition.thy (diff)
The file was modified thys/UPF/UPFCore.thy (diff)