Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge (of List_Factoring)
  2. worked off first 2 cases for pairwise TS
  3. merge
  4. finished proofs in List_Factoring
  5. removed some text
  6. merged
  7. tuned;
  8. removed some sorrys
Changeset 6346:a1e1c1e74e99 by max haslbeck _haslbema@in.tum.de_:
merge (of List_Factoring)
Changeset 6345:a3310e62dd6b by max haslbeck _haslbema@in.tum.de_:
worked off first 2 cases for pairwise TS
The file was modified thys/List_Update/TS.thy (diff)
Changeset 6344:6559a2605be1 by max haslbeck _haslbema@in.tum.de_:
merge
Changeset 6343:079332d1adad by max haslbeck _haslbema@in.tum.de_:
finished proofs in List_Factoring
The file was modified thys/List_Update/Competitive_Analysis.thy (diff)
The file was modified thys/List_Update/List_Factoring.thy (diff)
Changeset 6342:652e37acd02d by max haslbeck _haslbema@in.tum.de_:
removed some text
The file was modified thys/List_Update/TS.thy (diff)
Changeset 6341:3aa5264f4aec by wenzelm:
merged
Changeset 6340:97dd80adcd98 by wenzelm:
tuned;
The file was modified thys/Simpl/hoare.ML (diff)
Changeset 6339:d92bd077a38b by nipkow:
removed some sorrys
The file was modified thys/List_Update/List_Factoring.thy (diff)