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

crefine: fix theory import path.

This commit is contained in:
Japheth Lim 2015-11-27 13:54:57 +11:00
parent 24aaad4f8b
commit 411ef475dc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/crefine/ADT_C.thy
View File

@ -11,7 +11,7 @@
theory ADT_C
imports
Schedule_C
"../refine/BCorres2_AI"
"../invariant-abstract/BCorres2_AI"
begin
definition