Remove "__" prefix for forall when printing a RULE
authorsimonpj@microsoft.com <unknown>
Thu, 3 May 2007 12:46:06 +0000 (12:46 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 3 May 2007 12:46:06 +0000 (12:46 +0000)

No differences found