--- a/src/HOL/ROOT Wed Jan 13 16:01:03 2016 +0100 +++ b/src/HOL/ROOT Wed Jan 13 16:41:32 2016 +0100 @@ -658,6 +658,7 @@ Eisbach Tests Examples + Examples_FOL session "HOL-SET_Protocol" in SET_Protocol = HOL + description {*