fixed paths in Nitpick's ML file headers
authorblanchet
Fri Dec 04 17:19:59 2009 +0100 (2009-12-04)
changeset 339821ae222745c4a
parent 33981 ca1621556a14
child 33983 cfbf1ff6170d
child 33994 fc8af744f63c
fixed paths in Nitpick's ML file headers
src/HOL/Tools/Nitpick/kodkod.ML
src/HOL/Tools/Nitpick/kodkod_sat.ML
src/HOL/Tools/Nitpick/nitpick.ML
src/HOL/Tools/Nitpick/nitpick_isar.ML
src/HOL/Tools/Nitpick/nitpick_kodkod.ML
src/HOL/Tools/Nitpick/nitpick_model.ML
src/HOL/Tools/Nitpick/nitpick_mono.ML
src/HOL/Tools/Nitpick/nitpick_nut.ML
src/HOL/Tools/Nitpick/nitpick_peephole.ML
src/HOL/Tools/Nitpick/nitpick_rep.ML
src/HOL/Tools/Nitpick/nitpick_scope.ML
src/HOL/Tools/Nitpick/nitpick_tests.ML
src/HOL/Tools/Nitpick/nitpick_util.ML
     1.1 --- a/src/HOL/Tools/Nitpick/kodkod.ML	Fri Dec 04 17:19:33 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/kodkod.ML	Fri Dec 04 17:19:59 2009 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Nitpick/Tools/kodkod.ML
     1.5 +(*  Title:      HOL/Tools/Nitpick/kodkod.ML
     1.6      Author:     Jasmin Blanchette, TU Muenchen
     1.7      Copyright   2008, 2009
     1.8  
     2.1 --- a/src/HOL/Tools/Nitpick/kodkod_sat.ML	Fri Dec 04 17:19:33 2009 +0100
     2.2 +++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML	Fri Dec 04 17:19:59 2009 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/Nitpick/Tools/kodkod_sat.ML
     2.5 +(*  Title:      HOL/Tools/Nitpick/kodkod_sat.ML
     2.6      Author:     Jasmin Blanchette, TU Muenchen
     2.7      Copyright   2009
     2.8  
     3.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Dec 04 17:19:33 2009 +0100
     3.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Dec 04 17:19:59 2009 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/Nitpick/Tools/nitpick.ML
     3.5 +(*  Title:      HOL/Tools/Nitpick/nitpick.ML
     3.6      Author:     Jasmin Blanchette, TU Muenchen
     3.7      Copyright   2008, 2009
     3.8  
     4.1 --- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Fri Dec 04 17:19:33 2009 +0100
     4.2 +++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Fri Dec 04 17:19:59 2009 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_isar.ML
     4.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_isar.ML
     4.6      Author:     Jasmin Blanchette, TU Muenchen
     4.7      Copyright   2008, 2009
     4.8  
     5.1 --- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Fri Dec 04 17:19:33 2009 +0100
     5.2 +++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Fri Dec 04 17:19:59 2009 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_kodkod.ML
     5.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_kodkod.ML
     5.6      Author:     Jasmin Blanchette, TU Muenchen
     5.7      Copyright   2008, 2009
     5.8  
     5.9 @@ -785,7 +785,7 @@
    5.10     -> Kodkod.rel_expr -> constr_spec -> int -> Kodkod.formula *)
    5.11  fun sel_axiom_for_sel ext_ctxt j0
    5.12          (kk as {kk_all, kk_implies, kk_formula_if, kk_subset, kk_rel_eq, kk_no,
    5.13 -                kk_join, kk_project, ...}) rel_table dom_r
    5.14 +                kk_join, ...}) rel_table dom_r
    5.15          ({const, delta, epsilon, exclusive, explicit_max, ...} : constr_spec)
    5.16          n =
    5.17    let
     6.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Fri Dec 04 17:19:33 2009 +0100
     6.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Fri Dec 04 17:19:59 2009 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_model.ML
     6.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_model.ML
     6.6      Author:     Jasmin Blanchette, TU Muenchen
     6.7      Copyright   2009
     6.8  
     7.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Fri Dec 04 17:19:33 2009 +0100
     7.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Fri Dec 04 17:19:59 2009 +0100
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_mono.ML
     7.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_mono.ML
     7.6      Author:     Jasmin Blanchette, TU Muenchen
     7.7      Copyright   2009
     7.8  
     8.1 --- a/src/HOL/Tools/Nitpick/nitpick_nut.ML	Fri Dec 04 17:19:33 2009 +0100
     8.2 +++ b/src/HOL/Tools/Nitpick/nitpick_nut.ML	Fri Dec 04 17:19:59 2009 +0100
     8.3 @@ -1,4 +1,4 @@
     8.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_nut.ML
     8.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_nut.ML
     8.6      Author:     Jasmin Blanchette, TU Muenchen
     8.7      Copyright   2008, 2009
     8.8  
     9.1 --- a/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Fri Dec 04 17:19:33 2009 +0100
     9.2 +++ b/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Fri Dec 04 17:19:59 2009 +0100
     9.3 @@ -1,4 +1,4 @@
     9.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_peephole.ML
     9.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_peephole.ML
     9.6      Author:     Jasmin Blanchette, TU Muenchen
     9.7      Copyright   2008, 2009
     9.8  
    10.1 --- a/src/HOL/Tools/Nitpick/nitpick_rep.ML	Fri Dec 04 17:19:33 2009 +0100
    10.2 +++ b/src/HOL/Tools/Nitpick/nitpick_rep.ML	Fri Dec 04 17:19:59 2009 +0100
    10.3 @@ -1,4 +1,4 @@
    10.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_rep.ML
    10.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_rep.ML
    10.6      Author:     Jasmin Blanchette, TU Muenchen
    10.7      Copyright   2008, 2009
    10.8  
    11.1 --- a/src/HOL/Tools/Nitpick/nitpick_scope.ML	Fri Dec 04 17:19:33 2009 +0100
    11.2 +++ b/src/HOL/Tools/Nitpick/nitpick_scope.ML	Fri Dec 04 17:19:59 2009 +0100
    11.3 @@ -1,4 +1,4 @@
    11.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_scope.ML
    11.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_scope.ML
    11.6      Author:     Jasmin Blanchette, TU Muenchen
    11.7      Copyright   2008, 2009
    11.8  
    12.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Dec 04 17:19:33 2009 +0100
    12.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Dec 04 17:19:59 2009 +0100
    12.3 @@ -1,4 +1,4 @@
    12.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_tests.ML
    12.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_tests.ML
    12.6      Author:     Jasmin Blanchette, TU Muenchen
    12.7      Copyright   2008, 2009
    12.8  
    13.1 --- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Fri Dec 04 17:19:33 2009 +0100
    13.2 +++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Fri Dec 04 17:19:59 2009 +0100
    13.3 @@ -1,4 +1,4 @@
    13.4 -(*  Title:      HOL/Nitpick/Tools/nitpick_util.ML
    13.5 +(*  Title:      HOL/Tools/Nitpick/nitpick_util.ML
    13.6      Author:     Jasmin Blanchette, TU Muenchen
    13.7      Copyright   2008, 2009
    13.8