Changes

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

Changeset 11125:14cbc379a00b by blanchet: more renamings in Saturation Framework
The file was modified	`thys/Saturation_Framework/Given_Clause_Architectures.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`