Updated paths in Decision_Procs comments and NEWS
authorhoelzl
Wed Mar 11 10:58:18 2009 +0100 (2009-03-11)
changeset 3043957c68b3af2ea
parent 30432 aad3cd70e25a
child 30441 193cf2fa692a
child 30446 e3641cac56fa
Updated paths in Decision_Procs comments and NEWS
NEWS
src/HOL/Decision_Procs/Approximation.thy
src/HOL/Decision_Procs/Cooper.thy
src/HOL/Decision_Procs/Dense_Linear_Order.thy
src/HOL/Decision_Procs/Ferrack.thy
src/HOL/Decision_Procs/MIR.thy
src/HOL/Decision_Procs/cooper_tac.ML
src/HOL/Decision_Procs/ferrack_tac.ML
src/HOL/Decision_Procs/mir_tac.ML
     1.1 --- a/NEWS	Wed Mar 11 08:45:57 2009 +0100
     1.2 +++ b/NEWS	Wed Mar 11 10:58:18 2009 +0100
     1.3 @@ -244,7 +244,8 @@
     1.4  * Theory HOL/Decisioin_Procs/Approximation.thy provides the new proof method
     1.5  "approximation".  It proves formulas on real values by using interval arithmetic.
     1.6  In the formulas are also the transcendental functions sin, cos, tan, atan, ln,
     1.7 -exp and the constant pi are allowed.  For examples see HOL/ex/ApproximationEx.thy.
     1.8 +exp and the constant pi are allowed. For examples see
     1.9 +HOL/Descision_Procs/ex/Approximation_Ex.thy.
    1.10  
    1.11  * Theory "Reflection" now resides in HOL/Library.
    1.12  
     2.1 --- a/src/HOL/Decision_Procs/Approximation.thy	Wed Mar 11 08:45:57 2009 +0100
     2.2 +++ b/src/HOL/Decision_Procs/Approximation.thy	Wed Mar 11 10:58:18 2009 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/Reflection/Approximation.thy
     2.5 +(*  Title:      HOL/Decision_Procs/Approximation.thy
     2.6      Author:     Johannes Hoelzl <hoelzl@in.tum.de> 2008 / 2009
     2.7  *)
     2.8  
     3.1 --- a/src/HOL/Decision_Procs/Cooper.thy	Wed Mar 11 08:45:57 2009 +0100
     3.2 +++ b/src/HOL/Decision_Procs/Cooper.thy	Wed Mar 11 10:58:18 2009 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/Reflection/Cooper.thy
     3.5 +(*  Title:      HOL/Decision_Procs/Cooper.thy
     3.6      Author:     Amine Chaieb
     3.7  *)
     3.8  
     4.1 --- a/src/HOL/Decision_Procs/Dense_Linear_Order.thy	Wed Mar 11 08:45:57 2009 +0100
     4.2 +++ b/src/HOL/Decision_Procs/Dense_Linear_Order.thy	Wed Mar 11 10:58:18 2009 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title       : HOL/Dense_Linear_Order.thy
     4.5 +(*  Title       : HOL/Decision_Procs/Dense_Linear_Order.thy
     4.6      Author      : Amine Chaieb, TU Muenchen
     4.7  *)
     4.8  
     5.1 --- a/src/HOL/Decision_Procs/Ferrack.thy	Wed Mar 11 08:45:57 2009 +0100
     5.2 +++ b/src/HOL/Decision_Procs/Ferrack.thy	Wed Mar 11 10:58:18 2009 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Reflection/Ferrack.thy
     5.5 +(*  Title:      HOL/Decision_Procs/Ferrack.thy
     5.6      Author:     Amine Chaieb
     5.7  *)
     5.8  
     6.1 --- a/src/HOL/Decision_Procs/MIR.thy	Wed Mar 11 08:45:57 2009 +0100
     6.2 +++ b/src/HOL/Decision_Procs/MIR.thy	Wed Mar 11 10:58:18 2009 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOL/Reflection/MIR.thy
     6.5 +(*  Title:      HOL/Decision_Procs/MIR.thy
     6.6      Author:     Amine Chaieb
     6.7  *)
     6.8  
     7.1 --- a/src/HOL/Decision_Procs/cooper_tac.ML	Wed Mar 11 08:45:57 2009 +0100
     7.2 +++ b/src/HOL/Decision_Procs/cooper_tac.ML	Wed Mar 11 10:58:18 2009 +0100
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:      HOL/Reflection/cooper_tac.ML
     7.5 +(*  Title:      HOL/Decision_Procs/cooper_tac.ML
     7.6      Author:     Amine Chaieb, TU Muenchen
     7.7  *)
     7.8  
     8.1 --- a/src/HOL/Decision_Procs/ferrack_tac.ML	Wed Mar 11 08:45:57 2009 +0100
     8.2 +++ b/src/HOL/Decision_Procs/ferrack_tac.ML	Wed Mar 11 10:58:18 2009 +0100
     8.3 @@ -1,4 +1,4 @@
     8.4 -(*  Title:      HOL/Reflection/ferrack_tac.ML
     8.5 +(*  Title:      HOL/Decision_Procs/ferrack_tac.ML
     8.6      Author:     Amine Chaieb, TU Muenchen
     8.7  *)
     8.8  
     9.1 --- a/src/HOL/Decision_Procs/mir_tac.ML	Wed Mar 11 08:45:57 2009 +0100
     9.2 +++ b/src/HOL/Decision_Procs/mir_tac.ML	Wed Mar 11 10:58:18 2009 +0100
     9.3 @@ -1,4 +1,4 @@
     9.4 -(*  Title:      HOL/Reflection/mir_tac.ML
     9.5 +(*  Title:      HOL/Decision_Procs/mir_tac.ML
     9.6      Author:     Amine Chaieb, TU Muenchen
     9.7  *)
     9.8