# HG changeset patch
# User ballarin
# Date 1258821594 -3600
# Node ID a406f447abef0380000a35da0bb0024a3edcacad
# Parent  da3e88ea6c72412051334bd560a14678b02de9e1
Removed obsolete comment.

diff -r da3e88ea6c72 -r a406f447abef src/FOL/ex/LocaleTest.thy
--- 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)