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/Predicate_Compile/predicate_compile_data.ML
changeset 38731 2c8a595af43e
parent 38558 32ad17fe2b9c
child 38786 e46e7a9cb622 
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML	Wed Aug 25 16:59:49 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML	Wed Aug 25 16:59:50 2010 +0200
@@ -275,7 +275,6 @@
       else
         let
           val specs = get_specification options thy t
-            (*|> Predicate_Compile_Set.unfold_set_notation*)
           (*val _ = print_specification options thy constname specs*)
           val us = defiants_of specs
         in
isabelle