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/list_to_set_comprehension.ML
changeset 41467 8fc17c5e11c0
parent 41463 edbf0a86fb1c
child 41487 e7c1248e39d0 
--- a/src/HOL/Tools/list_to_set_comprehension.ML	Fri Jan 07 23:46:06 2011 +0100
+++ b/src/HOL/Tools/list_to_set_comprehension.ML	Sat Jan 08 00:02:11 2011 +0100
@@ -1,7 +1,8 @@
-(*  Title:  HOL/Tools/list_to_set_comprehension.ML
-    Author: Lukas Bulwahn, TU Muenchen
+(*  Title:      HOL/Tools/list_to_set_comprehension.ML
+    Author:     Lukas Bulwahn, TU Muenchen
 
-  Simproc for rewriting list comprehensions applied to List.set to set comprehension
+Simproc for rewriting list comprehensions applied to List.set to set
+comprehension.
 *)
 
 signature LIST_TO_SET_COMPREHENSION =
isabelle