# HG changeset patch
# User haftmann
# Date 1256653940 -3600
# Node ID cbe96b3cb3d00ca6a07f4d2781b46f7c33e4b7c3
# Parent  a5eba04475594b9c351374f09c24e65e72cc2edd
dropped obsolete comment

diff -r a5eba0447559 -r cbe96b3cb3d0 src/HOL/Nitpick.thy
--- a/src/HOL/Nitpick.thy	Tue Oct 27 15:32:20 2009 +0100
+++ b/src/HOL/Nitpick.thy	Tue Oct 27 15:32:20 2009 +0100
@@ -28,7 +28,6 @@
 
 typedecl bisim_iterator
 
-(* FIXME: use axiomatization (here and elsewhere) *)
 axiomatization unknown :: 'a
            and undefined_fast_The :: 'a
            and undefined_fast_Eps :: 'a