Isabelle.exe
author huffman
Sat, 22 May 2010 18:34:38 -0700
changeset 37097 476016cbf8b3
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
for functions with only variable patterns, fixrec definitions no longer use Fixrec.return/Fixrec.run

(binary:application/x-msdos-program)