Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed paths in Nitpick's ML file headers
authorblanchet
Fri, 04 Dec 2009 17:19:59 +0100
changeset 33982 1ae222745c4a
parent 33981 ca1621556a14
child 33983 cfbf1ff6170d
child 33994 fc8af744f63c
fixed paths in Nitpick's ML file headers
src/HOL/Tools/Nitpick/kodkod.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/kodkod_sat.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_isar.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_kodkod.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_model.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_mono.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_nut.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_peephole.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_rep.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_scope.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_tests.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Nitpick/nitpick_util.ML file | annotate | diff | comparison | revisions 
--- 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
 
--- 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
 
--- 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
 
--- 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
 
--- 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
--- 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
 
--- 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
 
--- 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
 
--- 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
 
--- 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
 
--- 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
 
--- 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
 
--- 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
isabelle