src/Tools/Isabelle.gif
Thu, 30 May 1996 13:31:29 +0200 nipkow Smaller logo
Wed, 29 May 1996 13:47:43 +0200 nipkow An Isabelle logo
less more (0) tip