--- a/src/Pure/Syntax/ast.ML Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/ast.ML Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
(* Title: Pure/Syntax/ast.ML
- ID: $Id$
Author: Markus Wenzel, TU Muenchen
Abstract syntax trees, translation rules, matching and normalization of asts.