src/Pure/IsaMakefile
changeset 6221 ef938c8ef653
parent 6184 8d7a328e2d0c
child 6315 ed71bedf6976
     1.1 --- a/src/Pure/IsaMakefile	Wed Feb 03 20:56:29 1999 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Thu Feb 04 18:12:09 1999 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4    General/history.ML General/name_space.ML General/object.ML \
     1.5    General/path.ML General/position.ML General/pretty.ML \
     1.6    General/scan.ML General/seq.ML General/source.ML General/symbol.ML \
     1.7 -  General/table.ML General/use.ML Isar/ROOT.ML Isar/args.ML \
     1.8 +  General/table.ML Isar/ROOT.ML Isar/args.ML \
     1.9    Isar/attrib.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_syn.ML \
    1.10    Isar/isar_thy.ML Isar/method.ML Isar/outer_lex.ML \
    1.11    Isar/outer_parse.ML Isar/outer_syntax.ML Isar/proof.ML \