History log of /seL4-l4v-10.1.1/HOL4/examples/ARM/v4/updateScript.sml
Revision Date Author Comments
# 52062272 30-May-2017 Ramana Kumar <ramana@member.fsf.org>

Fix ARM examples for length-nil

Part of #346
# 0100e400 01-May-2008 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Renamed bsubst to update (as it is in v4T).

Moved a few definitions/theorems to better homes.