History log of /seL4-l4v-master/HOL4/examples/fun-op-sem/cbv-lc/typesScript.sml
Revision Date Author Comments
# ff4d5b47 17-Sep-2019 hrutvik <hrutvikkanabar@yahoo.co.uk>

Fix examples/fun-op-sem (#734)

* Fix examples/fun-op-sem

* Add examples/fun-op-sem to build sequence

* Test with --expk

* Closes #615
# 0b74539e 04-May-2016 Scott Owens <S.A.Owens@kent.ac.uk>

Add a STLC example with strong normalisation

Proofs by Theo Laurent.