# HG changeset patch
# User wenzelm
# Date 936720603 -7200
# Node ID 85cf7fa5b138bf0e6521adbdd428d25a8b789966
# Parent  212516006d89e75195fd67f038bbe33eae6bda29
\indexisarmeth: "Methods";

diff -r 212516006d89 -r 85cf7fa5b138 doc-src/isar.sty
--- a/doc-src/isar.sty	Tue Sep 07 18:09:40 1999 +0200
+++ b/doc-src/isar.sty	Tue Sep 07 18:10:03 1999 +0200
@@ -11,7 +11,7 @@
 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}}
 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}}
 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}}
-\newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Proof methods!#1|bold}}
+\newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Methods!#1|bold}}
 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}}
 \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}}
 \newcommand{\indexisarvar}[1]{\index{#1 (variable)|bold}\index{Variables!#1|bold}}