changeset 42264 | b6c1b0c4c511 |
parent 42243 | 2f998ff67d0f |
child 42284 | 326f57825e1a |
--- a/src/Pure/IsaMakefile Wed Apr 06 22:25:44 2011 +0200 +++ b/src/Pure/IsaMakefile Wed Apr 06 23:04:00 2011 +0200 @@ -188,7 +188,7 @@ Syntax/syn_trans.ML \ Syntax/syntax.ML \ Syntax/syntax_phases.ML \ - Syntax/type_ext.ML \ + Syntax/term_position.ML \ System/isabelle_process.ML \ System/isabelle_system.ML \ System/isar.ML \