We compute the Lagrangian Floer cohomology groups of certain tori in closed
simply connected symplectic 4-manifolds arising from Fintushel-Stern knot
surgery. These manifolds are usually not symplectically aspherical. As a result
of the computation we observe examples where HF(L0)≅HF(L1) and L0
and L1 are smoothly isotopic but L0,L1 are not symplectically isotopic
and are distinguished by HF(L0,L1).Comment: changes based on reviewer's comment