equal
deleted
inserted
replaced
1 Configuration file for adding the 8bit patches to Isabelle |
|
2 |
|
3 STEM "/usr/wiss/oheimb/isabelle/" |
|
4 |
|
5 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" |
|
6 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" |
|
7 ADD Tools/8bit/isa-patches/HOLCF/Cprod3.p IN HOLCF/Cprod3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
8 ADD Tools/8bit/isa-patches/HOLCF/Up3.p IN HOLCF/Up3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
9 ADD Tools/8bit/isa-patches/HOLCF/Pcpo.p IN HOLCF/Pcpo.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
10 ADD Tools/8bit/isa-patches/HOLCF/Porder.p IN HOLCF/Porder.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
11 ADD Tools/8bit/isa-patches/HOLCF/Porder0.p IN HOLCF/Porder0.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
12 ADD Tools/8bit/isa-patches/HOLCF/HOLCF_ROOT.p IN HOLCF/ROOT.ML BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
13 ADD Tools/8bit/isa-patches/HOLCF/Sprod0.p IN HOLCF/Sprod0.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
14 ADD Tools/8bit/isa-patches/HOLCF/Sprod3.p IN HOLCF/Sprod3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
15 ADD Tools/8bit/isa-patches/HOLCF/Ssum0.p IN HOLCF/Ssum0.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
16 ADD Tools/8bit/isa-patches/HOLCF/Ssum3.p IN HOLCF/Ssum3.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
17 ADD Tools/8bit/isa-patches/HOLCF/Tr1.p IN HOLCF/Tr1.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1" |
|
18 |
|