|
1826
|
1 |
Configuration file for extracting the 8bit patches from Isabelle
|
|
|
2 |
|
|
|
3 |
STEM "/usr/stud/oheimb/isabelle/"
|
|
|
4 |
|
|
1830
|
5 |
EXTRACT Tools/8bit/isa-patches/HOL/HOL1.p IN HOL/HOL.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
6 |
EXTRACT Tools/8bit/isa-patches/HOL/HOL2.p IN HOL/HOL.thy BETWEEN "^\(\*\s*start\s*8bit\s*2" "^\(\*\s*end\s*8bit\s*2"
|
|
|
7 |
EXTRACT Tools/8bit/isa-patches/HOL/Set.p IN HOL/Set.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
8 |
EXTRACT Tools/8bit/isa-patches/HOL/Prod.p IN HOL/Prod.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|
|
|
9 |
EXTRACT Tools/8bit/isa-patches/HOL/Nat.p IN HOL/Nat.thy BETWEEN "^\(\*\s*start\s*8bit\s*1" "^\(\*\s*end\s*8bit\s*1"
|