Index: sizechecking/README.html =================================================================== --- sizechecking/README.html (revision 11) +++ sizechecking/README.html (revision 13) @@ -9,6 +9,6 @@

Prerequisites

-

You need at least version 2011.4.0.0 of the Haskell platform, an installed Z3 and the package value-supply. If you have a working Haskell platform installed you can install value-supply by typing

-
cabal install value-supply
+

You need at least version 2011.4.0.0 of the Haskell platform, an installed Z3 and the packages sbv and value-supply. If you have a working Haskell platform installed you can install value-supply by typing

+
cabal install value-supply sbv

Source files

@@ -85,5 +85,5 @@
-

There is also a function called true to denote we do not want to prove that branch.

+

There is also a function called true to denote that we do not want to prove that branch.