History log of /seL4-l4v-master/HOL4/src/TeX/theory_tests/proj1paper/overrides
Revision Date Author Comments
# a3c3cf42 20-Apr-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Make mkmunge aware of holpaths

Thanks to Yong Kiam for the bug report. Test case included.