Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/isa-patches/HOLCF/add-HOLCF.cfg
changeset 2290 e5c08f8b483b
parent 1833 59f5256d8dd2
child 2392 2fb9659d30ca
equal deleted inserted replaced
2289:c53230ac3954 2290:e5c08f8b483b 
     3 STEM "/usr/stud/oheimb/isabelle/"
 
     3 STEM "/usr/stud/oheimb/isabelle/"
 
     4 
     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" 
     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" 
     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" 
     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/Lift3.p IN HOLCF/Lift3.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" 
     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" 
    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" 
    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" 
    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" 
    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"
isabelle