--- a/src/Tools/8bit/isa-patches/HOL/clean-HOL.cfg Fri Jun 29 18:12:18 2001 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-Configuration file for cleaning the 8bit patches in 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"
-CLEAN IN HOL/Set.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
-CLEAN IN HOL/Prod.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
-CLEAN IN HOL/Nat.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
-