Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. more explicit constraints for Pure types;
Changeset 6484:81c0d8abf04f by wenzelm:
tuned;
The file was modified thys/Automatic_Refinement/Lib/Select_Solve.thy (diff)
Changeset 6483:175357721865 by wenzelm:
more explicit constraints for Pure types;
The file was modified thys/Automatic_Refinement/Lib/Select_Solve.thy (diff)
The file was modified thys/POPLmark-deBruijn/POPLmark.thy (diff)
The file was modified thys/POPLmark-deBruijn/POPLmarkRecord.thy (diff)