correcting dependencies after renaming
authorbulwahn
Fri Mar 11 15:21:13 2011 +0100 (2011-03-11)
changeset 41919e180c2a9873b
parent 41918 d2ab869f8b0b
child 41920 d4fb7a418152
correcting dependencies after renaming
src/HOL/IsaMakefile
src/HOL/Main.thy
     1.1 --- a/src/HOL/IsaMakefile	Fri Mar 11 15:21:13 2011 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Mar 11 15:21:13 2011 +0100
     1.3 @@ -276,6 +276,7 @@
     1.4    Presburger.thy \
     1.5    Predicate_Compile.thy \
     1.6    Quickcheck.thy \
     1.7 +  Quickcheck_Exhaustive.thy \
     1.8    Quotient.thy \
     1.9    Random.thy \
    1.10    Random_Sequence.thy \
    1.11 @@ -285,7 +286,6 @@
    1.12    Semiring_Normalization.thy \
    1.13    SetInterval.thy \
    1.14    Sledgehammer.thy \
    1.15 -  Smallcheck.thy \
    1.16    SMT.thy \
    1.17    String.thy \
    1.18    Typerep.thy \
    1.19 @@ -299,8 +299,9 @@
    1.20    Tools/ATP/atp_systems.ML \
    1.21    Tools/choice_specification.ML \
    1.22    Tools/code_evaluation.ML \
    1.23 +  Tools/exhaustive_generators.ML \
    1.24 +  Tools/groebner.ML \
    1.25    Tools/int_arith.ML \
    1.26 -  Tools/groebner.ML \
    1.27    Tools/list_code.ML \
    1.28    Tools/list_to_set_comprehension.ML \
    1.29    Tools/nat_numeral_simprocs.ML \
    1.30 @@ -354,7 +355,6 @@
    1.31    Tools/Sledgehammer/sledgehammer_provers.ML \
    1.32    Tools/Sledgehammer/sledgehammer_run.ML \
    1.33    Tools/Sledgehammer/sledgehammer_util.ML \
    1.34 -  Tools/smallvalue_generators.ML \
    1.35    Tools/SMT/smtlib_interface.ML \
    1.36    Tools/SMT/smt_builtin.ML \
    1.37    Tools/SMT/smt_config.ML \
     2.1 --- a/src/HOL/Main.thy	Fri Mar 11 15:21:13 2011 +0100
     2.2 +++ b/src/HOL/Main.thy	Fri Mar 11 15:21:13 2011 +0100
     2.3 @@ -1,7 +1,7 @@
     2.4  header {* Main HOL *}
     2.5  
     2.6  theory Main
     2.7 -imports Plain Record Predicate_Compile Smallcheck Nitpick
     2.8 +imports Plain Record Predicate_Compile Quickcheck_Exhaustive Nitpick
     2.9  begin
    2.10  
    2.11  text {*