changeset 29565 | 3f8b24fcfbd6 |
parent 26707 | ddf6bab64b96 |
child 32738 | 15bb09ca0378 |
--- a/src/Pure/Syntax/printer.ML Mon Jan 19 19:38:03 2009 +0100 +++ b/src/Pure/Syntax/printer.ML Mon Jan 19 20:05:41 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Pure/Syntax/printer.ML - ID: $Id$ Author: Tobias Nipkow and Markus Wenzel, TU Muenchen Pretty printing of asts, terms, types and print (ast) translation.