Haskell Notation Problems in 2.0

Something slighly wrong happened to the Haskell notation.

In all the Haskell notation it seems that the boolean values of "True" and
"False" have been surrounded by double quotes ("). This is incorrect. They
should stand alone (i.e. without quotes).

They may be eclosed in quotes in the paragraphs, as you are talking about
the values out of context of the notation and paragraph. However, the
haskell notation of:

	"False"

is a String, not a Boolean. It should just be plain:

	False

The errors are in the following lines of
access_control-xacml-2.0-core-spec-cd-02:

Lines
4513  (i.e. should be: and [] = True )
4524
4539
4573
4611
4651
4691
4733  (could also use alignment of 'ys' with the lower line)

These need to be correct.

Cheers,
-Polar