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.
removed some old comments;
authorwenzelm
Fri, 30 Apr 2010 21:10:57 +0200
changeset 36599 ca42a56e3b14
parent 36598 c798ad2c9228
child 36600 62d43ca574d0
removed some old comments;
src/FOL/simpdata.ML file | annotate | diff | comparison | revisions 
--- a/src/FOL/simpdata.ML	Fri Apr 30 09:54:04 2010 -0700
+++ b/src/FOL/simpdata.ML	Fri Apr 30 21:10:57 2010 +0200
@@ -35,10 +35,6 @@
   [("op -->", [@{thm mp}]), ("op &", [@{thm conjunct1}, @{thm conjunct2}]),
    ("All", [@{thm spec}]), ("True", []), ("False", [])];
 
-(* ###FIXME: move to simplifier.ML
-val mk_atomize:      (string * thm list) list -> thm -> thm list
-*)
-(* ###FIXME: move to simplifier.ML *)
 fun mk_atomize pairs =
   let fun atoms th =
         (case concl_of th of
isabelle