--- a/Admin/cvs-copy Fri Sep 01 19:49:04 2000 +0200
+++ b/Admin/cvs-copy Sat Sep 02 21:44:31 2000 +0200
@@ -52,7 +52,7 @@
do
if [ -n "$NAME" ]; then
if [ "$TYPE" = D ]; then
- echo "${PREFIX}$NAME"
+ echo "X ${PREFIX}$NAME"
mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'"
copy "${PREFIX}$NAME/" || return "$?"
else
--- a/src/HOL/Isar_examples/document/root.tex Fri Sep 01 19:49:04 2000 +0200
+++ b/src/HOL/Isar_examples/document/root.tex Sat Sep 02 21:44:31 2000 +0200
@@ -1,3 +1,5 @@
+
+% $Id$
\input{style}
@@ -21,19 +23,19 @@
\parindent 0pt \parskip 0.5ex
-\input{BasicLogic.tex}
-\input{Cantor.tex}
-\input{Peirce.tex}
-\input{ExprCompiler.tex}
-\input{Group.tex}
-\input{Summation.tex}
-\input{KnasterTarski.tex}
-\input{MutilatedCheckerboard.tex}
-\input{MultisetOrder.tex}
-\input{W_correct.tex}
-\input{Fibonacci.tex}
-\input{Puzzle.tex}
-\input{NestedDatatype.tex}
+\input{BasicLogic}
+\input{Cantor}
+\input{Peirce}
+\input{ExprCompiler}
+\input{Group}
+\input{Summation}
+\input{KnasterTarski}
+\input{MutilatedCheckerboard}
+\input{MultisetOrder}
+\input{W_correct}
+\input{Fibonacci}
+\input{Puzzle}
+\input{NestedDatatype}
\nocite{isabelle-isar-ref,Wenzel:1999:TPHOL}
\bibliographystyle{plain}