src/HOL/Types_To_Sets/internalize_sort.ML
2016-12-12 wenzelm 2016-12-12 proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;