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