--- a/src/Tools/8bit/isa-patches/HOLCF/add-HOLCF.cfg Fri Dec 13 18:25:45 1996 +0100
+++ b/src/Tools/8bit/isa-patches/HOLCF/add-HOLCF.cfg Fri Dec 13 18:32:07 1996 +0100
@@ -1,6 +1,6 @@
Configuration file for adding the 8bit patches to Isabelle
-STEM "/usr/stud/oheimb/isabelle/"
+STEM "/usr/wiss/oheimb/isabelle/"
ADD Tools/8bit/isa-patches/HOLCF/Cfun1.p IN HOLCF/Cfun1.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
ADD Tools/8bit/isa-patches/HOLCF/Cfun1.p2 IN HOLCF/Cfun1.thy BETWEEN "^\(\*\s*start\s*8bit\s*2" "^\(\*\s*end\s*8bit\s*2"