lib/scripts/isabelle-platform

added Syntax.const_abs_tr' with proper eta_abs and Term.is_dependent;
recovered printing of Hoare assign statements from 45d090186bbe;

# -*- shell-script -*- :mode=shellscript:
#
# determine general hardware and operating system type for Isabelle
#
# NOTE: The ML system or JVM may have their own idea about the platform!

ISABELLE_PLATFORM="unknown-platform"
ISABELLE_PLATFORM64=""

case $(uname -s) in
  Linux)
    case $(uname -m) in
      i?86)
        ISABELLE_PLATFORM=x86-linux
        ;;
      x86_64)
        ISABELLE_PLATFORM=x86-linux
        ISABELLE_PLATFORM64=x86_64-linux
        ;;
    esac
    ;;
  Darwin)
    case $(uname -m) in
      i?86)
        ISABELLE_PLATFORM=x86-darwin
        if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
          ISABELLE_PLATFORM64=x86_64-darwin
        fi
        ;;
      x86_64)
        ISABELLE_PLATFORM=x86-darwin
        ISABELLE_PLATFORM64=x86_64-darwin
        ;;
      Power* | power* | ppc)
        ISABELLE_PLATFORM=ppc-darwin
        ;;
    esac
    ;;
  CYGWIN_NT*)
    case $(uname -m) in
      i?86 | x86_64)
        ISABELLE_PLATFORM=x86-cygwin
        ;;
    esac
    ;;
  SunOS)
    case $(uname -r) in
      5.*)
        case $(uname -p) in
          sparc)
            ISABELLE_PLATFORM=sparc-solaris
            ;;
          i?86 | x86_64)
            ISABELLE_PLATFORM=x86-solaris
            ;;
        esac
        ;;
    esac
    ;;
  FreeBSD|NetBSD)
    case $(uname -m) in
      i?86 | x86_64)
        ISABELLE_PLATFORM=x86-bsd
        ;;
    esac
    ;;
esac