*** empty log message ***

tuned;

improved mixfix_args;

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

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

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

tuned Type.unify;

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

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

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

now permutations of quantifiers are allowed as well.

fixed JVMListExample

MicroJava exception merge

temporarily removed JVMListExample

exception merge + cleanup

exception merge, doesn't work yet

exception merge, cleanup, tuned

exceptions

list_all2_rev

removed debug stuff;

support for ``indexed syntax'' (using "\<index>" argument instead of "_");

removed special treatment of "_" in syntax (now covered by \<index> arg);

tuned locale interface;

proper treatment of internal parameters;

\usepackage[latin1]{inputenc};

Wenzel:2001:Isar-examples;

updated;

mixfix syntax for selectors;

record: mixfix;

export used_types; tuned;