--- a/doc-src/Intro/intro.tex Thu Feb 26 20:03:32 2009 +0100
+++ b/doc-src/Intro/intro.tex Thu Feb 26 20:09:14 2009 +0100
@@ -7,7 +7,7 @@
%prth *(\(.*\)); \1;
%{\\out \(.*\)} {\\out val it = "\1" : thm}
-\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Introduction to Isabelle}
\author{{\em Lawrence C. Paulson}\\
Computer Laboratory \\ University of Cambridge \\
\texttt{lcp@cl.cam.ac.uk}\\[3ex]
--- a/doc-src/Ref/ref.tex Thu Feb 26 20:03:32 2009 +0100
+++ b/doc-src/Ref/ref.tex Thu Feb 26 20:09:14 2009 +0100
@@ -7,7 +7,7 @@
%%% to delete old ones: \\indexbold{\*[^}]*}
%% run sedindex ref to prepare index file
%%% needs chapter on Provers/typedsimp.ML?
-\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle Reference Manual}
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Isabelle Reference Manual}
\author{{\em Lawrence C. Paulson}\\
Computer Laboratory \\ University of Cambridge \\
--- a/doc/Contents Thu Feb 26 20:03:32 2009 +0100
+++ b/doc/Contents Thu Feb 26 20:09:14 2009 +0100
@@ -13,8 +13,8 @@
system The Isabelle System Manual
Old Manuals (outdated!)
- intro Introduction to Isabelle
- ref The Isabelle Reference Manual
+ intro Old Introduction to Isabelle
+ ref Old Isabelle Reference Manual
logics Isabelle's Logics: overview and misc logics
logics-HOL Isabelle's Logics: HOL
logics-ZF Isabelle's Logics: FOL and ZF