adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lib: Fix import in Eisbach.

This commit is contained in:
Matthew Fernandez 2015-08-19 17:59:15 +10:00 committed by Matthew Fernandez
parent 780dc272fb
commit 88b01788b3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/wp/Eisbach_WP.thy
View File

@ -5,7 +5,7 @@
*)
theory Eisbach_WP
imports Eisbach_Methods NonDetMonadVCG
imports "../Eisbach_Methods" NonDetMonadVCG
begin