Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
consequence of directory renaming
authorblanchet
Wed, 28 Jul 2010 19:04:59 +0200
changeset 382939033c03cc214
parent 38292 6659c15e7421
child 38294 9eda375ec19d
consequence of directory renaming
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions
src/HOL/Sledgehammer.thy file | annotate | diff | comparison | revisions
src/HOL/Tools/ATP/async_manager.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/ATP/atp_problem.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
     1.1 --- a/src/HOL/IsaMakefile	Wed Jul 28 19:01:34 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jul 28 19:04:59 2010 +0200
     1.3 @@ -268,9 +268,9 @@
     1.4    $(SRC)/Provers/Arith/combine_numerals.ML \
     1.5    $(SRC)/Provers/Arith/extract_common_term.ML \
     1.6    $(SRC)/Tools/Metis/metis.ML \
     1.7 -  Tools/ATP_Manager/async_manager.ML \
     1.8 -  Tools/ATP_Manager/atp_problem.ML \
     1.9 -  Tools/ATP_Manager/atp_systems.ML \
    1.10 +  Tools/ATP/async_manager.ML \
    1.11 +  Tools/ATP/atp_problem.ML \
    1.12 +  Tools/ATP/atp_systems.ML \
    1.13    Tools/choice_specification.ML \
    1.14    Tools/int_arith.ML \
    1.15    Tools/groebner.ML \

     2.1 --- a/src/HOL/Sledgehammer.thy	Wed Jul 28 19:01:34 2010 +0200
     2.2 +++ b/src/HOL/Sledgehammer.thy	Wed Jul 28 19:04:59 2010 +0200
     2.3 @@ -10,9 +10,9 @@
     2.4  theory Sledgehammer
     2.5  imports Plain Hilbert_Choice
     2.6  uses
     2.7 -  ("Tools/ATP_Manager/async_manager.ML")
     2.8 -  ("Tools/ATP_Manager/atp_problem.ML")
     2.9 -  ("Tools/ATP_Manager/atp_systems.ML")
    2.10 +  ("Tools/ATP/async_manager.ML")
    2.11 +  ("Tools/ATP/atp_problem.ML")
    2.12 +  ("Tools/ATP/atp_systems.ML")
    2.13    ("~~/src/Tools/Metis/metis.ML")
    2.14    ("Tools/Sledgehammer/clausifier.ML")
    2.15    ("Tools/Sledgehammer/meson_tactic.ML")
    2.16 @@ -85,9 +85,9 @@
    2.17  apply (simp add: COMBC_def) 
    2.18  done
    2.19  
    2.20 -use "Tools/ATP_Manager/async_manager.ML"
    2.21 -use "Tools/ATP_Manager/atp_problem.ML"
    2.22 -use "Tools/ATP_Manager/atp_systems.ML"
    2.23 +use "Tools/ATP/async_manager.ML"
    2.24 +use "Tools/ATP/atp_problem.ML"
    2.25 +use "Tools/ATP/atp_systems.ML"
    2.26  setup ATP_Systems.setup
    2.27  
    2.28  use "~~/src/Tools/Metis/metis.ML"

     3.1 --- a/src/HOL/Tools/ATP/async_manager.ML	Wed Jul 28 19:01:34 2010 +0200
     3.2 +++ b/src/HOL/Tools/ATP/async_manager.ML	Wed Jul 28 19:04:59 2010 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/Tools/ATP_Manager/async_manager.ML
     3.5 +(*  Title:      HOL/Tools/ATP/async_manager.ML
     3.6      Author:     Fabian Immler, TU Muenchen
     3.7      Author:     Makarius
     3.8      Author:     Jasmin Blanchette, TU Muenchen

     4.1 --- a/src/HOL/Tools/ATP/atp_problem.ML	Wed Jul 28 19:01:34 2010 +0200
     4.2 +++ b/src/HOL/Tools/ATP/atp_problem.ML	Wed Jul 28 19:04:59 2010 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/Tools/ATP_Manager/atp_problem.ML
     4.5 +(*  Title:      HOL/Tools/ATP/atp_problem.ML
     4.6      Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     4.7      Author:     Jasmin Blanchette, TU Muenchen
     4.8  

     5.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Jul 28 19:01:34 2010 +0200
     5.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Jul 28 19:04:59 2010 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Tools/ATP_Manager/atp_systems.ML
     5.5 +(*  Title:      HOL/Tools/ATP/atp_systems.ML
     5.6      Author:     Fabian Immler, TU Muenchen
     5.7      Author:     Jasmin Blanchette, TU Muenchen
     5.8
wneuper/isa