src/Pure/IsaMakefile
changeset 18613 3cdfa57408be
parent 18387 90b2b2fd3fdf
child 18740 7eb6ad1f91c1
     1.1 --- a/src/Pure/IsaMakefile	Sat Jan 07 23:27:51 2006 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Sat Jan 07 23:27:52 2006 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4    Isar/outer_keyword.ML Isar/outer_lex.ML Isar/outer_parse.ML                   \
     1.5    Isar/outer_syntax.ML Isar/proof.ML Isar/proof_context.ML                      \
     1.6    Isar/proof_display.ML Isar/proof_history.ML Isar/rule_cases.ML                \
     1.7 -  Isar/session.ML Isar/skip_proof.ML Isar/term_style.ML                         \
     1.8 +  Isar/session.ML Isar/skip_proof.ML Isar/specification.ML Isar/term_style.ML	\
     1.9    Isar/thy_header.ML Isar/toplevel.ML ML-Systems/cpu-timer-basis.ML             \
    1.10    ML-Systems/cpu-timer-gc.ML ML-Systems/polyml-posix.ML                         \
    1.11    ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML                          \