testboard: Changelog

haftmann [Mon, 06 Feb 2006 11:00:24 +0100] rev 18927

added strip_abs

haftmann [Mon, 06 Feb 2006 11:00:06 +0100] rev 18926

clarified semantics of merge

huffman [Sat, 04 Feb 2006 03:14:32 +0100] rev 18925

speedup: use simproc for AC rules

huffman [Sat, 04 Feb 2006 02:37:09 +0100] rev 18924

UU_reorient_simproc no longer rewrites UU = numeral

wenzelm [Fri, 03 Feb 2006 23:12:31 +0100] rev 18923

removed obsolete gen_ins/mem; added merge -- supercedes gen_merge_lists';

wenzelm [Fri, 03 Feb 2006 23:12:30 +0100] rev 18922

removed add/del_rules;

wenzelm [Fri, 03 Feb 2006 23:12:28 +0100] rev 18921

canonical member/insert/merge;

paulson [Fri, 03 Feb 2006 17:08:03 +0100] rev 18920

removal of case analysis clauses

haftmann [Fri, 03 Feb 2006 17:02:33 +0100] rev 18919

fix

haftmann [Fri, 03 Feb 2006 11:48:11 +0100] rev 18918

minor improvements

testboard