changeset 58130 | 5e9170812356 |
parent 56798 | 939e88e79724 |
child 63167 | 0909deb8059b |
--- a/src/HOL/SPARK/Examples/Liseq/Longest_Increasing_Subsequence.thy Mon Sep 01 17:34:03 2014 +0200 +++ b/src/HOL/SPARK/Examples/Liseq/Longest_Increasing_Subsequence.thy Mon Sep 01 18:42:02 2014 +0200 @@ -4,7 +4,7 @@ *) theory Longest_Increasing_Subsequence -imports SPARK +imports "../../SPARK" begin text {*