Is this path wrong?
5 Oct
2014
5 Oct
'14
12:47 a.m.
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 {*
3860
Age (days ago)
3860
Last active (days ago)
0 comments
1 participants
participants (1)
-
Harry Butterworth