generalized limitation in documentation
authorblanchet
Thu Jul 16 17:25:44 2015 +0200 (2015-07-16)
changeset 60736c4bc0691860b
parent 60735 cf291b55f3d1
child 60737 685b169d0611
generalized limitation in documentation
src/Doc/Datatypes/Datatypes.thy
     1.1 --- a/src/Doc/Datatypes/Datatypes.thy	Thu Jul 16 17:25:44 2015 +0200
     1.2 +++ b/src/Doc/Datatypes/Datatypes.thy	Thu Jul 16 17:25:44 2015 +0200
     1.3 @@ -3186,8 +3186,8 @@
     1.4  processed more efficiently.
     1.5  
     1.6  \item
     1.7 -\emph{Locally fixed types cannot be used in (co)datatype specifications.}
     1.8 -This limitation can be circumvented by adding type arguments to the local
     1.9 +\emph{Locally fixed types and terms cannot be used in type specifications.}
    1.10 +The limitation on types can be circumvented by adding type arguments to the local
    1.11  (co)datatypes to abstract over the locally fixed types.
    1.12  
    1.13  \item