| changeset 566 | 959cb0e329f7 |
| parent 415 | e5470bf81350 |
| child 954 | d3f734f66141 |
--- a/src/Pure/Makefile Fri Aug 19 15:42:13 1994 +0200 +++ b/src/Pure/Makefile Fri Aug 19 16:09:27 1994 +0200 @@ -25,7 +25,7 @@ drule.ML tctical.ML tactic.ML goals.ML axclass.ML install_pp.ML SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML\ - Syntax/parser.ML Syntax/type_ext.ML Syntax/sextension.ML\ + Syntax/parser.ML Syntax/type_ext.ML Syntax/syn_trans.ML\ Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML\ Syntax/syn_ext.ML Syntax/mixfix.ML