History log of /seL4-l4v-master/l4v/lib/test/Qualify_Test.thy
Revision Date Author Comments
# 8b57961b 29-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

lib: session structure update for LibTest + Isabelle2020

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>