History log of /seL4-l4v-master/HOL4/src/emit/theory_tests1/useEmitRecordScript.sml
Revision Date Author Comments
# 3bcca961 14-Jan-2015 Michael Norrish <michael.norrish@nicta.com.au>

Fix the breakage to records and EmitML caused by 6da728bc