Isabelle.exe
author wenzelm
Mon, 18 Apr 2011 12:04:21 +0200
changeset 42385 b46b47775cbe
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
simplified Sorts.class_error: plain Proof.context; tuned;

(binary:application/x-msdos-program)