18 lines
199 B
Plaintext
18 lines
199 B
Plaintext
#
|
|
# Paths to "ROOT" files associated with L4.verified
|
|
#
|
|
spec
|
|
proof
|
|
tools
|
|
camkes
|
|
sys-init
|
|
lib
|
|
lib/Basics
|
|
lib/Eisbach_Tools
|
|
lib/ML_Utils
|
|
lib/Monads
|
|
lib/Word_Lib_l4v
|
|
lib/sep_algebra
|
|
lib/EVTutorial
|
|
docs
|