src/HOL/Nitpick.thy
changeset 69605 a96320074298
parent 69593 3dda49e08b9d
     1.1 --- a/src/HOL/Nitpick.thy	Sun Jan 06 13:44:33 2019 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Sun Jan 06 15:04:34 2019 +0100
     1.3 @@ -201,21 +201,21 @@
     1.4  definition wfrec' ::  "('a \<times> 'a) set \<Rightarrow> (('a \<Rightarrow> 'b) \<Rightarrow> 'a \<Rightarrow> 'b) \<Rightarrow> 'a \<Rightarrow> 'b" where
     1.5    "wfrec' R F x \<equiv> if wf R then wf_wfrec' R F x else THE y. wfrec_rel R (\<lambda>f x. F (cut f R x) x) x y"
     1.6  
     1.7 -ML_file "Tools/Nitpick/kodkod.ML"
     1.8 -ML_file "Tools/Nitpick/kodkod_sat.ML"
     1.9 -ML_file "Tools/Nitpick/nitpick_util.ML"
    1.10 -ML_file "Tools/Nitpick/nitpick_hol.ML"
    1.11 -ML_file "Tools/Nitpick/nitpick_mono.ML"
    1.12 -ML_file "Tools/Nitpick/nitpick_preproc.ML"
    1.13 -ML_file "Tools/Nitpick/nitpick_scope.ML"
    1.14 -ML_file "Tools/Nitpick/nitpick_peephole.ML"
    1.15 -ML_file "Tools/Nitpick/nitpick_rep.ML"
    1.16 -ML_file "Tools/Nitpick/nitpick_nut.ML"
    1.17 -ML_file "Tools/Nitpick/nitpick_kodkod.ML"
    1.18 -ML_file "Tools/Nitpick/nitpick_model.ML"
    1.19 -ML_file "Tools/Nitpick/nitpick.ML"
    1.20 -ML_file "Tools/Nitpick/nitpick_commands.ML"
    1.21 -ML_file "Tools/Nitpick/nitpick_tests.ML"
    1.22 +ML_file \<open>Tools/Nitpick/kodkod.ML\<close>
    1.23 +ML_file \<open>Tools/Nitpick/kodkod_sat.ML\<close>
    1.24 +ML_file \<open>Tools/Nitpick/nitpick_util.ML\<close>
    1.25 +ML_file \<open>Tools/Nitpick/nitpick_hol.ML\<close>
    1.26 +ML_file \<open>Tools/Nitpick/nitpick_mono.ML\<close>
    1.27 +ML_file \<open>Tools/Nitpick/nitpick_preproc.ML\<close>
    1.28 +ML_file \<open>Tools/Nitpick/nitpick_scope.ML\<close>
    1.29 +ML_file \<open>Tools/Nitpick/nitpick_peephole.ML\<close>
    1.30 +ML_file \<open>Tools/Nitpick/nitpick_rep.ML\<close>
    1.31 +ML_file \<open>Tools/Nitpick/nitpick_nut.ML\<close>
    1.32 +ML_file \<open>Tools/Nitpick/nitpick_kodkod.ML\<close>
    1.33 +ML_file \<open>Tools/Nitpick/nitpick_model.ML\<close>
    1.34 +ML_file \<open>Tools/Nitpick/nitpick.ML\<close>
    1.35 +ML_file \<open>Tools/Nitpick/nitpick_commands.ML\<close>
    1.36 +ML_file \<open>Tools/Nitpick/nitpick_tests.ML\<close>
    1.37  
    1.38  setup \<open>
    1.39    Nitpick_HOL.register_ersatz_global