History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/root.thy
Revision Date Author Comments
# fb591596 22-Oct-2018 Japheth Lim <Japheth.Lim@data61.csiro.au>

templates: rename ROOT to root.thy for consistency

Also remove custom ROOT generation from the test runner.