doc-src/TutorialI/settings.ML

changed importing introduction rules to fix the same type variables in all introduction rules; improved mode analysis for partially applied relations; added test case; tuned

(* $Id$ *)

ThyOutput.indent := 5;