Admin/components/bundled-linux
author haftmann
Mon, 10 May 2021 19:46:01 +0000
changeset 73664 6e26d06b24b1
parent 73193 b8e12e94cfca
permissions -rw-r--r--
centralized more lemmas

#additional components to be bundled for release
Isabelle_app-20210126