Isabelle.exe
author wenzelm
Mon, 07 Jun 2010 17:13:36 +0200
changeset 37359 7b0ccc20cddc
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
made SML/NJ happy again;

(binary:application/x-msdos-program)