src/HOL/IsaMakefile
changeset 31055 2cf6efca6c71
parent 31048 ac146fc38b51
child 31060 75d7c7cc8bdb
     1.1 --- a/src/HOL/IsaMakefile	Wed May 06 19:09:14 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed May 06 19:09:31 2009 +0200
     1.3 @@ -235,6 +235,7 @@
     1.4    Tools/Groebner_Basis/normalizer.ML \
     1.5    Tools/atp_manager.ML \
     1.6    Tools/atp_wrapper.ML \
     1.7 +  Tools/list_code.ML \
     1.8    Tools/meson.ML \
     1.9    Tools/metis_tools.ML \
    1.10    Tools/numeral.ML \
    1.11 @@ -252,6 +253,7 @@
    1.12    Tools/res_hol_clause.ML \
    1.13    Tools/res_reconstruct.ML \
    1.14    Tools/specification_package.ML \
    1.15 +  Tools/string_code.ML \
    1.16    Tools/string_syntax.ML \
    1.17    Tools/TFL/casesplit.ML \
    1.18    Tools/TFL/dcterm.ML \