isabelle: src/Doc/Typeclass_Hierarchy/document/build@8a9d0d894ec0 (annotated)

63026 9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	1	#!/usr/bin/env bash
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	2
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	3	set -e
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	4
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	5	FORMAT="$1"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	6	VARIANT="$2"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	7
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	8	"$ISABELLE_TOOL" logo Isar
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	9	"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
9a9c2d846d4a fragment of a HOL type class primer haftmann parents: diff changeset	10