lib/logo/isabelle_holcf.gif
author wenzelm
Mon, 19 Oct 2009 21:54:57 +0200
changeset 33002 f3f02f36a3e2
parent 3799 d00f6460ac4d
permissions -rw-r--r--
uniform use of Integer.add/mult/sum/prod;

(binary:image/gif)