Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renaming embedd -> embed
  2. minor changes in notation
Changeset 6291:cc9ad49dbd5f by max haslbeck _haslbema@in.tum.de_:
renaming embedd -> embed
The file was modified thys/Amortized_Complexity/Comb.thy (diff)
The file was modified thys/Amortized_Complexity/Competitive_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/TS.thy (diff)
Changeset 6290:d2085b7389aa by max haslbeck _haslbema@in.tum.de_:
minor changes in notation
The file was modified thys/Amortized_Complexity/Comb.thy (diff)
The file was modified thys/Amortized_Complexity/TS.thy (diff)