# HG changeset patch
# User blanchet
# Date 1391370831 -3600
# Node ID 2bc951e6761a87f3b99b8a8e5bddb8973d65db37
# Parent  cfd276a7dbebd2ca90abb5dedfffd81486bfc8d5
'primitive' is not an adverb

diff -r cfd276a7dbeb -r 2bc951e6761a src/Doc/Datatypes/Datatypes.thy
--- a/src/Doc/Datatypes/Datatypes.thy	Sun Feb 02 20:53:51 2014 +0100
+++ b/src/Doc/Datatypes/Datatypes.thy	Sun Feb 02 20:53:51 2014 +0100
@@ -1115,7 +1115,7 @@
   \qquad @{thm at_simps(2)[no_vars]}\]
 %
 The next example is defined using \keyw{fun} to escape the syntactic
-restrictions imposed on primitive recursive functions. The
+restrictions imposed on primitively recursive functions. The
 @{command datatype_new_compat} command is needed to register new-style datatypes
 for use with \keyw{fun} and \keyw{function}
 (Section~\ref{sssec:datatype-new-compat}):