\begin{isabelle}%
\isanewline
\isacommand{datatype}~'a~option~=~None~|~Some~'a\end{isabelle}%
