1
(* Title: Pure/Syntax/type_ext.ML
2
Author: Tobias Nipkow and Markus Wenzel, TU Muenchen
3
4
Utilities for input and output of types. Also the concrete syntax of