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.
*** empty log message ***
authorwenzelm
Mon, 29 Jan 2001 14:14:03 +0100
changeset 10991 2e59c831cf07
parent 10990 e7ffc23a05f6
child 10992 0932a82022fd
*** empty log message ***
Admin/BUGS file | annotate | diff | comparison | revisions 
--- a/Admin/BUGS	Mon Jan 29 13:31:30 2001 +0100
+++ b/Admin/BUGS	Mon Jan 29 14:14:03 2001 +0100
@@ -35,7 +35,3 @@
 'b
 *** The exception above was raised for
 *** (!!uu uua. PROP P (uu, uua)) ==> PROP P xa
-
-- bug in HOL/Set tr':
-term "{x. EX a b c. x = f a b c & P x}"
-prints as: "{f a b c |a b c. P B.0}"
isabelle