wenzelm [Sun, 03 Jun 2007 23:16:48 +0200] rev 23220
added flip (from General/basics.ML);
renamed gen_submultiset to submultiset;
moved downto0 to pattern.ML;
moved legacy gen_merge_lists/merge_lists/merge_alists to Isar/locale.ML;
moved plural to HOL/Tools/fundef_lib.ML;
removed obsolete seq;
simplified chop, fold2;