tuned doc comment
authorblanchet
Wed Apr 23 10:23:27 2014 +0200 (2014-04-23)
changeset 56653c1507d5f4665
parent 56652 b0126a5a256d
child 56654 54326fa7afe6
tuned doc comment
src/Doc/Datatypes/Datatypes.thy
     1.1 --- a/src/Doc/Datatypes/Datatypes.thy	Wed Apr 23 10:23:27 2014 +0200
     1.2 +++ b/src/Doc/Datatypes/Datatypes.thy	Wed Apr 23 10:23:27 2014 +0200
     1.3 @@ -2708,8 +2708,6 @@
     1.4  %* in a locale, cannot use locally fixed types (because of limitation in typedef)?
     1.5  %
     1.6  % *names of variables suboptimal
     1.7 -%
     1.8 -% * in a locale, size is half broken
     1.9  *}
    1.10  *)
    1.11