Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added local state
Changeset 6208:522c6c87f51e by nipkow:
added local state
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)
The file was modified thys/Amortized_Complexity/On_Off.thy (diff)