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/meson.ML
changeset 17849 d7619ccf22e6
parent 17716 89932e53f31d
child 18024 853e8219732a 
--- a/src/HOL/Tools/meson.ML	Fri Oct 14 14:36:39 2005 +0200
+++ b/src/HOL/Tools/meson.ML	Fri Oct 14 15:34:56 2005 +0200
@@ -16,6 +16,7 @@
   val size_of_subgoals	: thm -> int
   val make_cnf		: thm list -> thm -> thm list
   val make_nnf		: thm -> thm
+  val make_nnf1		: thm -> thm
   val skolemize		: thm -> thm
   val make_clauses	: thm list -> thm list
   val make_horns	: thm list -> thm list
isabelle