src/HOL/Quotient_Examples/Quotient_Message.thy

--- a/src/HOL/Quotient_Examples/Quotient_Message.thy	Thu Sep 11 18:54:36 2014 +0200
+++ b/src/HOL/Quotient_Examples/Quotient_Message.thy	Thu Sep 11 18:54:36 2014 +0200
@@ -10,7 +10,7 @@
 
 subsection{*Defining the Free Algebra*}
 
-datatype
+datatype_new
   freemsg = NONCE  nat
         | MPAIR  freemsg freemsg
         | CRYPT  nat freemsg