Isabelle.exe

fixed trigger inference: testing if a theorem already has a trigger was too strict;
fixed monomorphization with respect to triggers (which might occur schematically)

(binary:application/x-msdos-program)