Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. renamed locales as discussed with Sophie Tourret
  2. added file that was part of previous renaming/refactoring
Changeset 11124:e2b1021fb667 by blanchet:
renamed locales as discussed with Sophie Tourret
The file was modified thys/Saturation_Framework/Calculus.thy
The file was modified thys/Saturation_Framework/Given_Clause_Architectures.thy
The file was modified thys/Saturation_Framework/Intersection_Calculus.thy
The file was modified thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy
The file was modified thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy
Changeset 11123:c2f07427be69 by blanchet:
added file that was part of previous renaming/refactoring
The file was addedthys/Saturation_Framework/Calculus_Variations.thy