j
k
j a
j l
diff --git a/lib/WPTutorial.thy b/lib/WPTutorial.thy index f6ecd0a..cd0d992 100644 --- a/lib/WPTutorial.thy +++ b/lib/WPTutorial.thy @@ -9,7 +9,7 @@ *)
theory WPTutorial -imports Bits_R +imports "../proof/refine/Bits_R" begin
text {*
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites