corrected path in doc
authorblanchet
Wed May 06 14:23:22 2015 +0200 (2015-05-06)
changeset 60266a2fa0e01302d
parent 60265 21193e45df14
child 60267 d496ab7e0136
corrected path in doc
src/Doc/Datatypes/Datatypes.thy
     1.1 --- a/src/Doc/Datatypes/Datatypes.thy	Tue May 05 16:52:09 2015 +0200
     1.2 +++ b/src/Doc/Datatypes/Datatypes.thy	Wed May 06 14:23:22 2015 +0200
     1.3 @@ -169,7 +169,7 @@
     1.4  text {*
     1.5  Datatypes are illustrated through concrete examples featuring different flavors
     1.6  of recursion. More examples can be found in the directory
     1.7 -\verb|~~/src/HOL/|\allowbreak\verb|BNF/Examples|.
     1.8 +\verb|~~/src/HOL/|\allowbreak\verb|Datatype_Examples|.
     1.9  *}
    1.10  
    1.11  
    1.12 @@ -1675,7 +1675,7 @@
    1.13  Codatatypes can be specified using the @{command codatatype} command. The
    1.14  command is first illustrated through concrete examples featuring different
    1.15  flavors of corecursion. More examples can be found in the directory
    1.16 -\verb|~~/src/HOL/|\allowbreak\verb|BNF/Examples|. The
    1.17 +\verb|~~/src/HOL/|\allowbreak\verb|Datatype_Examples|. The
    1.18  \emph{Archive of Formal Proofs} also includes some useful codatatypes, notably
    1.19  for lazy lists @{cite "lochbihler-2010"}.
    1.20  *}