# HG changeset patch
# User wenzelm
# Date 968686482 -7200
# Node ID b9ecbe4667d0ae3d6042c5a78d9115dc7fb9f113
# Parent  4b02467a441257af3d20b209b73513baf6aa570b
added \isabellecontext;
tuned;

diff -r 4b02467a4412 -r b9ecbe4667d0 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Mon Sep 11 13:03:11 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Mon Sep 11 17:34:42 2000 +0200
@@ -6,10 +6,12 @@
 %% macros for Isabelle generated LaTeX output
 %%
 
-%%% Simple document preparation (based on theory token language)
+%%% Simple document preparation (based on theory token language and symbols)
 
 % isabelle environments
 
+\newcommand{\isabellecontext}{UNKNOWN}
+
 \newcommand{\isastyle}{\small\tt\slshape}
 \newcommand{\isastyleminor}{\small\tt\slshape}
 \newcommand{\isastyletext}{\normalsize\rm}