isabelle: Changelog

wenzelm [Tue, 18 Dec 2001 02:20:23 +0100] rev 12531

improved mixfix_args;

wenzelm [Tue, 18 Dec 2001 02:20:02 +0100] rev 12530

tuned Type.unify; do *not* declare TVar names as used;

wenzelm [Tue, 18 Dec 2001 02:19:31 +0100] rev 12529

simultaneous type-inference of complete context/statement specifications; reorganized code;

wenzelm [Tue, 18 Dec 2001 02:18:38 +0100] rev 12528

tuned interface of unify, param; added paramify_dummies to turn TypeInfer.anyT into unifiable parameter;

wenzelm [Tue, 18 Dec 2001 02:17:20 +0100] rev 12527

tuned Type.unify;

nipkow [Mon, 17 Dec 2001 14:27:18 +0100] rev 12526

mods due to changed 1-point simprocs (quantifier1).

nipkow [Mon, 17 Dec 2001 14:24:11 +0100] rev 12525

mods due to improved 1-point simprocs (quantifier1).

nipkow [Mon, 17 Dec 2001 14:23:10 +0100] rev 12524

mods due to mor powerful simprocs for 1-point rules (quantifier1).

isabelle