isabelle: Changelog

wenzelm [Sun, 07 Jan 2001 21:40:49 +0100] rev 10820

removed MicroJava/BV/Convert.thy;

wenzelm [Sun, 07 Jan 2001 21:37:40 +0100] rev 10819

do not AutoBind.drop_judgment;

wenzelm [Sun, 07 Jan 2001 21:36:59 +0100] rev 10818

tuned output;

wenzelm [Sun, 07 Jan 2001 21:36:11 +0100] rev 10817

tuned norm_hhf(_tac);

wenzelm [Sun, 07 Jan 2001 21:35:34 +0100] rev 10816

added is_norm_hhf;

wenzelm [Sun, 07 Jan 2001 21:35:11 +0100] rev 10815

removed outdated comment;

wenzelm [Sun, 07 Jan 2001 21:34:45 +0100] rev 10814

case binds: AutoBind.drop_judgment;

wenzelm [Sun, 07 Jan 2001 21:34:16 +0100] rev 10813

tuned split_all_tac;

kleing [Sun, 07 Jan 2001 18:43:13 +0100] rev 10812

merged semilattice orders with <=' from Convert.thy (now defined in JVMType.thy)

wenzelm [Sat, 06 Jan 2001 21:31:37 +0100] rev 10811

support ?case binding; tuned;

isabelle