src/HOL/ROOT
changeset 65570 660df4a6dc59
parent 65569 3cb6f3281ef1
child 65573 0f3fdf689bf9
equal deleted inserted replaced
65569:3cb6f3281ef1 65570:660df4a6dc59
  1068     New_Domain
  1068     New_Domain
  1069   document_files "root.tex"
  1069   document_files "root.tex"
  1070 
  1070 
  1071 session "HOLCF-Library" in "HOLCF/Library" = HOLCF +
  1071 session "HOLCF-Library" in "HOLCF/Library" = HOLCF +
  1072   options [document = false]
  1072   options [document = false]
  1073   theories HOLCF_Library
  1073   theories
       
  1074     HOLCF_Library
       
  1075     HOL_Cpo
  1074 
  1076 
  1075 session "HOLCF-IMP" in "HOLCF/IMP" = HOLCF +
  1077 session "HOLCF-IMP" in "HOLCF/IMP" = HOLCF +
  1076   description {*
  1078   description {*
  1077     IMP -- A WHILE-language and its Semantics.
  1079     IMP -- A WHILE-language and its Semantics.
  1078 
  1080