1#
2# Paths to "ROOT" files associated with L4.verified
3#
4spec
5proof
6tools
7camkes
8sys-init
9lib
10lib/Word_Lib
11lib/sep_algebra