Auxiliary files providing glue between a standard HOL installation and what we want to use for CakeML development.
basicComputeLib.sml: Build a basic compset for evaluation in the logic.
lem_lib_stub: Empty versions of the Lem libraries (which we don't use, but building with Lem requires)
miscScript.sml: Miscellaneous definitions and minor lemmas used throughout the development.
preamble.sml: Proof tools (e.g. tactics) used throughout the development.