Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit tagging of code equations de-baroquifies interface
Changeset 6749:0530819ce69b by haftmann:
explicit tagging of code equations de-baroquifies interface
The file was modified thys/Affine_Arithmetic/Affine_Approximation.thy (diff)
The file was modified thys/Collections/ICF/tools/Locale_Code.thy (diff)
The file was modified thys/Nominal2/nominal_function.ML (diff)
The file was modified thys/Nominal2/nominal_termination.ML (diff)