Skip to content
Success

Changes

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

Summary

  1. eliminated needless locale
Changeset 11126:06ca7a66d8ae by blanchet:
eliminated needless locale
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/Lifting_to_Non_Ground_Calculi.thy