--- 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