changeset 68484 | 59793df7f853 |
parent 67399 | eab6ce8368fa |
child 69505 | cc2d676d5395 |
--- a/src/Doc/Datatypes/Datatypes.thy Fri Jun 22 18:31:50 2018 +0200 +++ b/src/Doc/Datatypes/Datatypes.thy Fri Jun 22 20:31:49 2018 +0200 @@ -183,7 +183,7 @@ @{const Truue}, @{const Faalse}, and @{const Perhaaps} have the type @{typ trool}. Polymorphic types are possible, such as the following option type, modeled after -its homologue from the @{theory Option} theory: +its homologue from the @{theory HOL.Option} theory: \<close> (*<*)