author | haftmann |
Tue, 27 Oct 2009 15:32:20 +0100 | |
changeset 33227 | cbe96b3cb3d0 |
parent 33226 | a5eba0447559 |
child 33228 | ea75c6ea643e |
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