defs: axmdecl;

--- a/doc-src/IsarRef/pure.tex	Sat Sep 25 13:23:58 1999 +0200
+++ b/doc-src/IsarRef/pure.tex	Sat Sep 25 13:25:16 1999 +0200
@@ -208,7 +208,7 @@
 \begin{rail}
   'consts' (constdecl +)
   ;
-  'defs' (thmdecl? prop comment? +)
+  'defs' (axmdecl prop comment? +)
   ;
   'constdefs' (constdecl prop comment? +)
   ;