--- a/doc-src/TutorialI/isabelle.sty Mon Sep 11 17:59:53 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty Mon Sep 11 18:00:47 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}