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 obsolete comment.
authorballarin
Sat, 21 Nov 2009 17:39:54 +0100
changeset 33837 a406f447abef
parent 33836 da3e88ea6c72
child 33838 a3166a169793
Removed obsolete comment.
src/FOL/ex/LocaleTest.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/ex/LocaleTest.thy	Sat Nov 21 17:37:07 2009 +0100
+++ b/src/FOL/ex/LocaleTest.thy	Sat Nov 21 17:39:54 2009 +0100
@@ -195,7 +195,6 @@
 begin
 
 thm lor_def
-(* Can we get rid the the additional hypothesis, caused by Local_Theory.notes? *)
 
 lemma "x || y = --(-- x && --y)"
   by (unfold lor_def) (rule refl)
isabelle