moved abstract syntax operations to logic.ML;
maintain class parameters;
added params_of_sort;
added cert/read_classrel (from sign.ML), check class parameters;
tuned;
\input{Logic.tex}
\input{Induction.tex}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"
%%% End: