src/Doc/Tutorial/document/build

added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset

#!/usr/bin/env bash

set -e

$ISABELLE_LUALATEX root
$ISABELLE_BIBTEX root
$ISABELLE_LUALATEX root
$ISABELLE_LUALATEX root
./isa-index root
$ISABELLE_LUALATEX root