src/HOL/ex/IArray_Examples.thy
changeset 51094 84b03c49c223
parent 50138 ca989d793b34
child 51143 0a2371e7ced3
     1.1 --- a/src/HOL/ex/IArray_Examples.thy	Wed Feb 13 13:38:52 2013 +0100
     1.2 +++ b/src/HOL/ex/IArray_Examples.thy	Wed Feb 13 13:38:52 2013 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  theory IArray_Examples
     1.5 -imports "~~/src/HOL/Library/IArray"
     1.6 +imports "~~/src/HOL/Library/IArray" "~~/src/HOL/Library/Efficient_Nat"
     1.7  begin
     1.8  
     1.9  lemma "IArray [True,False] !! 1 = False"
    1.10 @@ -24,3 +24,4 @@
    1.11  by eval
    1.12  
    1.13  end
    1.14 +