--- a/doc-src/manual.bib Wed Oct 13 19:43:52 1999 +0200
+++ b/doc-src/manual.bib Wed Oct 13 19:44:15 1999 +0200
@@ -618,11 +618,6 @@
title = {The {Isabelle} Reference Manual},
institution = CUCL}
-@manual{isabelle-sys,
- author = {Markus Wenzel and Stefan Berghofer},
- title = {The {Isabelle} System Manual},
- institution = CUCL}
-
@manual{isabelle-ZF,
author = {Lawrence C. Paulson},
title = {{Isabelle}'s Logics: {FOL} and {ZF}},
@@ -913,6 +908,17 @@
%W
+@manual{isabelle-sys,
+ author = {Markus Wenzel and Stefan Berghofer},
+ title = {The {Isabelle} System Manual},
+ institution = TUM}
+
+@manual{isabelle-isar-ref,
+ author = {Markus Wenzel},
+ title = {The {Isabelle Isar} Reference Manual},
+ institution = TUM}
+
+
@InProceedings{Wenzel:1999:TPHOL,
author = {Markus Wenzel},
title = {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},