src/Pure/IsaMakefile
changeset 19838 edc3d1af3b77
parent 19807 79161b339691
child 19885 00f70ad51778
equal deleted inserted replaced
19837:a2e93327daa3 19838:edc3d1af3b77
    28   General/history.ML General/name_mangler.ML General/name_space.ML		\
    28   General/history.ML General/name_mangler.ML General/name_space.ML		\
    29   General/ord_list.ML General/output.ML General/path.ML				\
    29   General/ord_list.ML General/output.ML General/path.ML				\
    30   General/position.ML General/pretty.ML General/rat.ML General/scan.ML		\
    30   General/position.ML General/pretty.ML General/rat.ML General/scan.ML		\
    31   General/seq.ML General/source.ML General/stack.ML General/symbol.ML		\
    31   General/seq.ML General/source.ML General/stack.ML General/symbol.ML		\
    32   General/table.ML General/url.ML General/xml.ML				\
    32   General/table.ML General/url.ML General/xml.ML				\
    33   IsaPlanner/focus_term_lib.ML IsaPlanner/isa_fterm.ML				\
       
    34   IsaPlanner/isand.ML IsaPlanner/isaplib.ML IsaPlanner/rw_inst.ML		\
       
    35   IsaPlanner/rw_tools.ML IsaPlanner/term_lib.ML IsaPlanner/upterm_lib.ML	\
       
    36   Isar/ROOT.ML Isar/antiquote.ML Isar/args.ML Isar/attrib.ML			\
    33   Isar/ROOT.ML Isar/antiquote.ML Isar/args.ML Isar/attrib.ML			\
    37   Isar/auto_bind.ML Isar/calculation.ML Isar/constdefs.ML			\
    34   Isar/auto_bind.ML Isar/calculation.ML Isar/constdefs.ML			\
    38   Isar/context_rules.ML Isar/element.ML Isar/find_theorems.ML			\
    35   Isar/context_rules.ML Isar/element.ML Isar/find_theorems.ML			\
    39   Isar/induct_attrib.ML Isar/isar_cmd.ML Isar/isar_output.ML			\
    36   Isar/induct_attrib.ML Isar/isar_cmd.ML Isar/isar_output.ML			\
    40   Isar/isar_syn.ML Isar/isar_thy.ML Isar/local_defs.ML				\
    37   Isar/isar_syn.ML Isar/isar_thy.ML Isar/local_defs.ML				\