moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy
Printer.show_question_marks_default := false;
use_thys
["Example_Verification",
"VC_Principles",
"Reference",
"Complex_Types"];