Is this path wrong?

4 Oct
2014
4 Oct
'14
4:47 p.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 {*
3831
Age (days ago)
3831
Last active (days ago)
0 comments
1 participants
participants (1)
-
Harry Butterworth