# HG changeset patch
# User haftmann
# Date 1127716884 -7200
# Node ID c5a4fe81857e4c731959c75e24247dd49874be80
# Parent  940371ea0ff332849429ef8549a5c1414bbfe321
adjusted web link

diff -r 940371ea0ff3 -r c5a4fe81857e src/HOLCF/FOCUS/Buffer.thy
--- a/src/HOLCF/FOCUS/Buffer.thy	Mon Sep 26 02:27:59 2005 +0200
+++ b/src/HOLCF/FOCUS/Buffer.thy	Mon Sep 26 08:41:24 2005 +0200
@@ -16,7 +16,7 @@
     publisher = {Springer}
 }
 
-Slides available from http://isabelle.in.tum.de/HOLCF/1-Buffer.ps.gz
+Slides available from http://ddvo.net/talks/1-Buffer.ps.gz
 
 *)