moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy

moved predicate relations and conversion rules between set and predicate relations from Predicate.thy to Relation.thy; moved Predicate.thy upwards in theory hierarchy

dropped dead code

tuned isatest settings;

merged

moved lemmas for orderings and lattices on predicates to corresponding theories, retaining declaration order of classical rules; tuned headings; tuned syntax

tuned whitespace

tuned proof

prefer actual syntax categories;

avoid trait Addable, which is deprecated in scala-2.9.x; tuned;