src/HOL/Nitpick.thy
changeset 33235 cbe96b3cb3d0
parent 33192 08a39a957ed7
child 33562 b1e2830ee31a
     1.1 --- a/src/HOL/Nitpick.thy	Tue Oct 27 15:32:20 2009 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Tue Oct 27 15:32:20 2009 +0100
     1.3 @@ -28,7 +28,6 @@
     1.4  
     1.5  typedecl bisim_iterator
     1.6  
     1.7 -(* FIXME: use axiomatization (here and elsewhere) *)
     1.8  axiomatization unknown :: 'a
     1.9             and undefined_fast_The :: 'a
    1.10             and undefined_fast_Eps :: 'a