Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. got rid of ld
Changeset 6798:79fb78da1ef0 by nipkow:
merged
Changeset 6797:fea95ce2dbc3 by nipkow:
got rid of ld
The file was modified thys/Amortized_Complexity/Pairing_Heap_List.thy (diff)