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 {*
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
