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;
wenzelm [Sat, 06 Jan 2001 21:31:09 +0100] rev 10810
apply_case: more robust handling of bounds;
moved norm_hhf to Pure/tactic.ML;
wenzelm [Sat, 06 Jan 2001 21:29:29 +0100] rev 10809
moved norm_hhf_tac to Pure/tactic.ML;
adapted invoke_case;
wenzelm [Sat, 06 Jan 2001 21:28:30 +0100] rev 10808
added drop_judgment;
wenzelm [Sat, 06 Jan 2001 21:28:04 +0100] rev 10807
export read_inst', inst';
tuned;
wenzelm [Sat, 06 Jan 2001 21:27:33 +0100] rev 10806
added list_abs;