History log of /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/x86_encodeLib.sig
Revision Date Author Comments
# 7c197d42 07-Jan-2009 Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk>

A new version of files previously in examples/mc-logic.
Eventually examples/mc-logic will be deleted.