updated the definition of the state to just be the storage, removing the State and FunctionsInfo types
updated the definition of the state to just be the storage, removing the State and FunctionsInfo types

git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@9681 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware