Add sorrys (and one proof) for the new theorems being inserted into this spec.  Should get Bamboo running clean again.
Add sorrys (and one proof) for the new theorems being inserted into this spec.  Should get Bamboo running clean again.

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

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