25 lines
420 B
Plaintext
25 lines
420 B
Plaintext
session Remybase in "src/core" = HOL +
|
|
options [document = false]
|
|
sessions "HOL-Library"
|
|
theories
|
|
"HOL-Library.Word"
|
|
"HOL-Library.Code_Target_Numeral"
|
|
Model
|
|
Compiler
|
|
Native
|
|
Encoding
|
|
Checker
|
|
|
|
session Remy in src = Remybase +
|
|
options [document = false]
|
|
sessions "HOL-Library"
|
|
theories
|
|
Allocation
|
|
Branches
|
|
Bounds
|
|
X86
|
|
Frontend
|
|
Delivery
|
|
Examples
|
|
Export
|