# HG changeset patch
# User haftmann
# Date 1166038697 -3600
# Node ID b6e4c5578c8ec711d0910afaf35c7ec793034f30
# Parent  5a6f8514d0e9e784aa109577af0225aa3397762c
dropped FIXME comment

diff -r 5a6f8514d0e9 -r b6e4c5578c8e src/HOL/Set.thy
--- a/src/HOL/Set.thy	Wed Dec 13 20:38:16 2006 +0100
+++ b/src/HOL/Set.thy	Wed Dec 13 20:38:17 2006 +0100
@@ -226,7 +226,6 @@
  "\<exists>A\<subseteq>B. P"   =>  "EX A. A \<subseteq> B & P"
  "\<exists>!A\<subseteq>B. P"  =>  "EX! A. A \<subseteq> B & P"
 
-(* FIXME re-use version in Orderings.thy *)
 print_translation {*
 let
   val thy = the_context ();