History log of /seL4-l4v-master/HOL4/examples/PSL/experimental-semantics/SERE.ml
Revision Date Author Comments
# ffc13255 26-Apr-2004 Mike Gordon <mjcg@cl.cam.ac.uk>

Experimental semantics from Johan Martensson.