lib/logo/isabelle_transparent-24.gif
author haftmann
Sat, 25 Jun 2022 09:50:37 +0000
changeset 75622 53b61706749b
parent 54675 ad329fef3023
permissions -rw-r--r--
Centralized some char-related lemmas in distribution.

(binary:image/gif)