Isabelle.exe
author wenzelm
Sun, 07 Mar 2010 11:57:16 +0100
changeset 35624 c4e29a0bb8c1
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
modernized structure Local_Defs;

(binary:application/x-msdos-program)