History log of /seL4-l4v-master/HOL4/src/datatype/theory_tests/bar260Script.sml
Revision Date Author Comments
# 40f6b6ec 02-Jun-2015 Michael Norrish <michael.norrish@nicta.com.au>

Improved test-cases for record redefinition bug

For github issue #260