author | blanchet |
Wed, 23 Apr 2014 10:23:27 +0200 | |
changeset 56653 | c1507d5f4665 |
parent 56652 | b0126a5a256d |
child 56654 | 54326fa7afe6 |
--- a/src/Doc/Datatypes/Datatypes.thy Wed Apr 23 10:23:27 2014 +0200 +++ b/src/Doc/Datatypes/Datatypes.thy Wed Apr 23 10:23:27 2014 +0200 @@ -2708,8 +2708,6 @@ %* in a locale, cannot use locally fixed types (because of limitation in typedef)? % % *names of variables suboptimal -% -% * in a locale, size is half broken *} *)