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/Tools/Nitpick/nitpick_model.ML
changeset 36384 76d5fd5a45fb
parent 35845 e5980f0ad025
child 36385 ff5f88702590 
--- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Sat Apr 24 16:05:42 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Sat Apr 24 16:17:30 2010 +0200
@@ -16,6 +16,7 @@
     show_skolems: bool,
     show_datatypes: bool,
     show_consts: bool}
+
   type term_postprocessor =
     Proof.context -> string -> (typ -> term list) -> typ -> term -> term
isabelle