History log of /seL4-l4v-10.1.1/HOL4/examples/fun-op-sem/small-step/determSemScript.sml
Revision Date Author Comments
# 49d0d7ba 19-Mar-2016 Ramana Kumar <ramana@member.fsf.org>

Fix fun-op-sem example

It was broken by changes in abbreviated simplification tactics.
# 8be770c3 18-Oct-2015 Ramana Kumar <ramana@member.fsf.org>

update fun-op-sem example