isabelle: Changelog

wenzelm [Sat, 24 Nov 2001 16:58:31 +0100] rev 12287

added join, merge_multi('); tuned extend, make, merge;

wenzelm [Sat, 24 Nov 2001 16:57:34 +0100] rev 12286

merge_stamps: merge_lists' with reversed args;

wenzelm [Sat, 24 Nov 2001 16:56:26 +0100] rev 12285

gen_merge_lists;

wenzelm [Sat, 24 Nov 2001 16:55:56 +0100] rev 12284

added gen_merge_lists(') and merge_lists('); removed obsolete generic_extend, generic_merge, extend_list;

wenzelm [Sat, 24 Nov 2001 16:55:00 +0100] rev 12283

gen_merge_lists';

wenzelm [Sat, 24 Nov 2001 16:54:32 +0100] rev 12282

generic_merge;

wenzelm [Sat, 24 Nov 2001 16:54:10 +0100] rev 12281

converted simp lemmas;

wenzelm [Sat, 24 Nov 2001 16:53:31 +0100] rev 12280

tuned;

berghofe [Sat, 24 Nov 2001 13:58:19 +0100] rev 12279

Extended match_proof to handle abstractions.

wenzelm [Fri, 23 Nov 2001 19:20:58 +0100] rev 12278

tuned;

isabelle