added new definition of list permutations that exactly maps to the Isabelle definition, and so is easier to prove stuff about
added new definition of list permutations that exactly maps to the Isabelle definition, and so is easier to prove stuff about

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

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