Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Nitpick.thy
changeset 39223 022f16801e4e
parent 39198 f967a16dfcdd
parent 39221 70fd4a3c41ed
child 39302 d7728f65b353 
--- a/src/HOL/Nitpick.thy	Wed Sep 08 14:46:21 2010 +0200
+++ b/src/HOL/Nitpick.thy	Wed Sep 08 16:01:06 2010 +0200
@@ -24,7 +24,6 @@
      ("Tools/Nitpick/nitpick.ML")
      ("Tools/Nitpick/nitpick_isar.ML")
      ("Tools/Nitpick/nitpick_tests.ML")
-     ("Tools/Nitpick/minipick.ML")
 begin
 
 typedecl bisim_iterator
@@ -237,7 +236,6 @@
 use "Tools/Nitpick/nitpick.ML"
 use "Tools/Nitpick/nitpick_isar.ML"
 use "Tools/Nitpick/nitpick_tests.ML"
-use "Tools/Nitpick/minipick.ML"
 
 setup {* Nitpick_Isar.setup *}
isabelle