Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fixed thm name
Changeset 8081:bb7d0696a87f by lammich _lammich@in.tum.de_:
merged
Changeset 8080:b7d89e00a197 by lammich _lammich@in.tum.de_:
fixed thm name
The file was modified thys/Automatic_Refinement/Lib/Misc.thy (diff)