# HG changeset patch
# User wenzelm
# Date 1211660375 -7200
# Node ID 2aa686443859adcfacda8fb9909d32cd87f1c45c
# Parent  a91f7741967adc43e668e93bb6edf768e824cd20
updated generated file;

diff -r a91f7741967a -r 2aa686443859 doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex
--- a/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex	Sat May 24 22:04:57 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex	Sat May 24 22:19:35 2008 +0200
@@ -380,7 +380,7 @@
 \ \ \ \ \ \ \isacommand{show}\isamarkupfalse%
 \ {\isachardoublequoteopen}{\isasymone}\ {\isasymotimes}\ n\ {\isacharequal}\ n{\isachardoublequoteclose}\isanewline
 \ \ \ \ \ \ \ \ \isacommand{unfolding}\isamarkupfalse%
-\ neutral{\isacharunderscore}nat{\isacharunderscore}def\ mult{\isacharunderscore}nat{\isacharunderscore}def\ \isacommand{by}\isamarkupfalse%
+\ neutral{\isacharunderscore}nat{\isacharunderscore}def\ \isacommand{by}\isamarkupfalse%
 \ simp\isanewline
 \ \ \ \ \isacommand{next}\isamarkupfalse%
 \isanewline