--- 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? +)
;