# HG changeset patch
# User wenzelm
# Date 938258716 -7200
# Node ID 8069542cba828d84c32a910d709296b1f1d6b0ff
# Parent  6381cd433a991fb18b9d891ed8b4a3d7614ee7a5
defs: axmdecl;

diff -r 6381cd433a99 -r 8069542cba82 doc-src/IsarRef/pure.tex
--- 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? +)
   ;