Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. avoid multiple uses of the same ML file;
  2. more standard ML file/module names;
  3. more standard headers;
Changeset 11517:a31f698ef3f8 by wenzelm:
avoid multiple uses of the same ML file;
The file was addedthys/Forcing/Utils.thy
The file was modified thys/Forcing/ROOT
The file was modified thys/Forcing/Renaming_Auto.thy
The file was modified thys/Forcing/Synthetic_Definition.thy
Changeset 11516:0668d43edb22 by wenzelm:
more standard ML file/module names;
The file was addedthys/Forcing/renaming.ML
The file was addedthys/Forcing/utils.ML
The file was modified thys/Forcing/Renaming_Auto.thy
The file was modified thys/Forcing/Synthetic_Definition.thy
The file was removedthys/Forcing/Renaming_ML.ml
The file was removedthys/Forcing/Utils.ml
Changeset 11515:824acfe540c7 by wenzelm:
more standard headers;
The file was modified thys/Forcing/Renaming_Auto.thy
The file was modified thys/Forcing/Synthetic_Definition.thy