History log of /seL4-l4v-master/HOL4/src/datatype/theory_tests/gh224bScript.sml
Revision Date Author Comments
# 8187d840 14-Jan-2015 Michael Norrish <michael.norrish@nicta.com.au>

Regression tests for the fixed part of #224

Still to deal with allowing size to be the name of a record field.