Mercurial Mercurial > repos > isabelle / file revision
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/HOL/Import/HOL/state_transformer.imp
author wenzelm
Thu, 27 May 2010 18:10:37 +0200
changeset 37146 f652333bbf8e
parent 14516 a183dec876ab
permissions -rw-r--r--
renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;

import

import_segment "hol4"

def_maps
  "UNIT" > "UNIT_def"
  "MMAP" > "MMAP_def"
  "JOIN" > "JOIN_def"
  "BIND" > "BIND_def"

const_maps
  "UNIT" > "HOL4Base.state_transformer.UNIT"
  "MMAP" > "HOL4Base.state_transformer.MMAP"
  "JOIN" > "HOL4Base.state_transformer.JOIN"
  "BIND" > "HOL4Base.state_transformer.BIND"

thm_maps
  "UNIT_def" > "HOL4Base.state_transformer.UNIT_def"
  "UNIT_UNCURRY" > "HOL4Base.state_transformer.UNIT_UNCURRY"
  "UNIT_DEF" > "HOL4Base.state_transformer.UNIT_DEF"
  "SND_o_UNIT" > "HOL4Base.state_transformer.SND_o_UNIT"
  "MMAP_def" > "HOL4Base.state_transformer.MMAP_def"
  "MMAP_UNIT" > "HOL4Base.state_transformer.MMAP_UNIT"
  "MMAP_JOIN" > "HOL4Base.state_transformer.MMAP_JOIN"
  "MMAP_ID" > "HOL4Base.state_transformer.MMAP_ID"
  "MMAP_DEF" > "HOL4Base.state_transformer.MMAP_DEF"
  "MMAP_COMP" > "HOL4Base.state_transformer.MMAP_COMP"
  "JOIN_def" > "HOL4Base.state_transformer.JOIN_def"
  "JOIN_UNIT" > "HOL4Base.state_transformer.JOIN_UNIT"
  "JOIN_MMAP_UNIT" > "HOL4Base.state_transformer.JOIN_MMAP_UNIT"
  "JOIN_MAP_JOIN" > "HOL4Base.state_transformer.JOIN_MAP_JOIN"
  "JOIN_MAP" > "HOL4Base.state_transformer.JOIN_MAP"
  "JOIN_DEF" > "HOL4Base.state_transformer.JOIN_DEF"
  "FST_o_UNIT" > "HOL4Base.state_transformer.FST_o_UNIT"
  "FST_o_MMAP" > "HOL4Base.state_transformer.FST_o_MMAP"
  "BIND_def" > "HOL4Base.state_transformer.BIND_def"
  "BIND_RIGHT_UNIT" > "HOL4Base.state_transformer.BIND_RIGHT_UNIT"
  "BIND_LEFT_UNIT" > "HOL4Base.state_transformer.BIND_LEFT_UNIT"
  "BIND_DEF" > "HOL4Base.state_transformer.BIND_DEF"
  "BIND_ASSOC" > "HOL4Base.state_transformer.BIND_ASSOC"

end
isabelle