isabelle: Changelog

wenzelm [Sat, 12 Jan 2002 16:55:53 +0100] rev 12728

tuned;

wenzelm [Sat, 12 Jan 2002 16:40:02 +0100] rev 12727

unify_frozen: proper use of maxidx'; declare_elemss: need to unify_elemss beforehand;

wenzelm [Sat, 12 Jan 2002 16:38:42 +0100] rev 12726

paramify_dummies: proper treatment of maxidx;

wenzelm [Sat, 12 Jan 2002 16:37:58 +0100] rev 12725

renamed forall_elim_vars_safe to gen_all;

wenzelm [Fri, 11 Jan 2002 18:49:25 +0100] rev 12724

Isabelle2002 (January 2002);

wenzelm [Fri, 11 Jan 2002 18:07:45 +0100] rev 12723

removed obsolete isamode.ML;

wenzelm [Fri, 11 Jan 2002 18:07:30 +0100] rev 12722

tuned;

wenzelm [Fri, 11 Jan 2002 17:04:49 +0100] rev 12721

#!/usr/bin/env bash;

wenzelm [Fri, 11 Jan 2002 14:53:30 +0100] rev 12720

replace gen_all by forall_elim_vars_safe;

wenzelm [Fri, 11 Jan 2002 14:53:05 +0100] rev 12719

improved forall_elim_vars_safe (no longer invents new indexes);

isabelle