# Snapshot of HOL4 output for Sail CHERI and RISC-V models

These theories are a snapshot of the generated files for the Sail
CHERI and RISC-V models, translated to HOL4 via Lem.

Generated using the following repository versions:
HOL4: (master) bb9eaf3448d2c44c84c5d06849d0dc73db23670c, 17 May 2018
Lem:  (master) 55cb119f5b9e9feae8ed02c1b63ef38360eff3a1, 17 May 2018
Sail: (sail2)  b08f0e8538081d8efbbbd6431e739a0b83307678, 17 May 2018

The theories are accepted by HOL4, but we have not done any
further testing of them yet.