# HG changeset patch
# User blanchet
# Date 1259943599 -3600
# Node ID 1ae222745c4a384dcfad708be62c3eeaa86b6917
# Parent  ca1621556a141657b559fbdaaae91f953f57031d
fixed paths in Nitpick's ML file headers

diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/kodkod.ML
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/kodkod.ML
+(*  Title:      HOL/Tools/Nitpick/kodkod.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/kodkod_sat.ML
--- a/src/HOL/Tools/Nitpick/kodkod_sat.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/kodkod_sat.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/kodkod_sat.ML
+(*  Title:      HOL/Tools/Nitpick/kodkod_sat.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick.ML
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_isar.ML
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_isar.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_isar.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_kodkod.ML
--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_kodkod.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_kodkod.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
@@ -785,7 +785,7 @@
    -> Kodkod.rel_expr -> constr_spec -> int -> Kodkod.formula *)
 fun sel_axiom_for_sel ext_ctxt j0
         (kk as {kk_all, kk_implies, kk_formula_if, kk_subset, kk_rel_eq, kk_no,
-                kk_join, kk_project, ...}) rel_table dom_r
+                kk_join, ...}) rel_table dom_r
         ({const, delta, epsilon, exclusive, explicit_max, ...} : constr_spec)
         n =
   let
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_model.ML
--- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_model.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_model.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_mono.ML
--- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_mono.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_mono.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_nut.ML
--- a/src/HOL/Tools/Nitpick/nitpick_nut.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_nut.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_nut.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_nut.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_peephole.ML
--- a/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_peephole.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_peephole.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_rep.ML
--- a/src/HOL/Tools/Nitpick/nitpick_rep.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_rep.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_rep.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_rep.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_scope.ML
--- a/src/HOL/Tools/Nitpick/nitpick_scope.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_scope.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_scope.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_scope.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_tests.ML
--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_tests.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_tests.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009
 
diff -r ca1621556a14 -r 1ae222745c4a src/HOL/Tools/Nitpick/nitpick_util.ML
--- a/src/HOL/Tools/Nitpick/nitpick_util.ML	Fri Dec 04 17:19:33 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_util.ML	Fri Dec 04 17:19:59 2009 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Nitpick/Tools/nitpick_util.ML
+(*  Title:      HOL/Tools/Nitpick/nitpick_util.ML
     Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2008, 2009