lib/scripts/polyml-platform

move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path

#!/usr/bin/env bash

echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
echo "$ISABELLE_PLATFORM"