split Type_Infer into early and late part, after Proof_Context;
added Type_Infer_Context.const_sorts option, which allows NBE to use regular Syntax.check_term;
This directory contains some administrative tools for the Isabellerepository at TUM. They do not appear in proper distributions.