changeset 29565 | 3f8b24fcfbd6 |
parent 27266 | a2db1e379778 |
child 30364 | 577edc39b501 |
--- a/src/Pure/Syntax/type_ext.ML Mon Jan 19 19:38:03 2009 +0100 +++ b/src/Pure/Syntax/type_ext.ML Mon Jan 19 20:05:41 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Pure/Syntax/type_ext.ML - ID: $Id$ Author: Tobias Nipkow and Markus Wenzel, TU Muenchen Utilities for input and output of types. Also the concrete syntax of