lib/logo/isabelle_transparent-24.gif
author blanchet
Wed, 03 Sep 2014 22:49:05 +0200 (2014-09-03)
changeset 58177 166131276380
parent 54675 ad329fef3023
permissions -rw-r--r--
introduced local interpretation mechanism for BNFs, to solve issues with datatypes in locales
(binary:image/gif)