Skip to content
Success

Changes

Summary

  1. improved hashcode
The file was modified thys/Buchi_Complementation/Complementation_Final.thy (diff)