|
1826
|
1 |
Configuration file for cleaning the 8bit patches in Isabelle
|
|
|
2 |
|
|
|
3 |
STEM "/usr/stud/oheimb/isabelle/"
|
|
|
4 |
|
|
2289
|
5 |
CLEAN IN HOLCF/Cfun1.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
1826
|
6 |
CLEAN IN HOLCF/Cfun1.thy BETWEEN "^\(\*\s*start\s*8bit\s*2" "^\(\*\s*end\s*8bit\s*2"
|
|
|
7 |
CLEAN IN HOLCF/Cprod3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
8 |
CLEAN IN HOLCF/Lift3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
9 |
CLEAN IN HOLCF/Pcpo.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
10 |
CLEAN IN HOLCF/Porder.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
11 |
CLEAN IN HOLCF/Porder0.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
12 |
CLEAN IN HOLCF/ROOT.ML BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
13 |
CLEAN IN HOLCF/Sprod0.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
14 |
CLEAN IN HOLCF/Sprod3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
15 |
CLEAN IN HOLCF/Ssum0.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
16 |
CLEAN IN HOLCF/Ssum3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
17 |
CLEAN IN HOLCF/Tr1.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
18 |
|