History log of /seL4-l4v-master/HOL4/examples/PSL/experimental-semantics/README
Revision Date Author Comments
# be1ebeb9 23-Jun-2004 Mike Gordon <mjcg@cl.cam.ac.uk>

Update to Johan's latest semantics + script file version.
# ffc13255 26-Apr-2004 Mike Gordon <mjcg@cl.cam.ac.uk>

Experimental semantics from Johan Martensson.