# HG changeset patch
# User wenzelm
# Date 939836655 -7200
# Node ID 2cd88d1eec0c1956791b1387947d8608b8113fe5
# Parent  a49a3978fe3adb8a3e8b04a9369090cb2ed4a0cd
isabelle-isar-ref;

diff -r a49a3978fe3a -r 2cd88d1eec0c doc-src/manual.bib
--- 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},