doc-src/TutorialI/Documents/ROOT.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

use_thy "Documents";