Isabelle.exe
author wenzelm
Fri, 28 Aug 2009 18:23:24 +0200
changeset 32431 bcd14373ec30
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
removed spurious invocations of atp_minimize;

(binary:application/x-msdos-program)