Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. proved that PQ spec is satisfied
Changeset 8229:142ee78170cb by nipkow:
merged
Changeset 8228:8bfa4259e9d9 by nipkow:
proved that PQ spec is satisfied
The file was modified thys/Priority_Queue_Braun/Priority_Queue_Braun.thy (diff)