--- a/src/Tools/8bit/isa-patches/HOL/clean-HOL.cfg	Fri Dec 13 18:25:45 1996 +0100
+++ b/src/Tools/8bit/isa-patches/HOL/clean-HOL.cfg	Fri Dec 13 18:32:07 1996 +0100
@@ -1,6 +1,6 @@
 Configuration file for cleaning the 8bit patches in Isabelle
 
-STEM "/usr/stud/oheimb/isabelle/"
+STEM "/usr/wiss/oheimb/isabelle/"
 
 CLEAN IN HOL/HOL.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" 
 CLEAN IN HOL/HOL.thy BETWEEN "^\(\*\s*start\s*8bit\s*2" "^\(\*\s*end\s*8bit\s*2"