History log of /seL4-camkes-master/tools/cogent/ROOTS
Revision Date Author Comments
# 8a72f227 26-Feb-2020 vjackson725 <vjackson725@users.noreply.github.com>

proofs: add ROOT for c-refinement and ROOTS for cogent

Additionally, reorganise imports so that things actually work