isabelle: Changelog

berghofe [Tue, 18 Jul 2006 17:10:22 +0200] rev 20145

Started implementing uniqueness proof for recursion combinator (still unfinished).

webertj [Tue, 18 Jul 2006 16:15:47 +0200] rev 20144

typo (theorerms) fixed

webertj [Tue, 18 Jul 2006 14:53:27 +0200] rev 20143

typo (theorerms) fixed

haftmann [Tue, 18 Jul 2006 13:27:59 +0200] rev 20142

AList.join now with 'DUP' exception

haftmann [Tue, 18 Jul 2006 08:48:11 +0200] rev 20141

added Table.map_default

wenzelm [Tue, 18 Jul 2006 02:22:38 +0200] rev 20140

removed obsolete ML files;

wenzelm [Mon, 17 Jul 2006 18:42:38 +0200] rev 20139

replaced butlast by Library.split_last;

wenzelm [Mon, 17 Jul 2006 18:42:37 +0200] rev 20138

replaced butlast by Library.split_last; removed dead code;

webertj [Mon, 17 Jul 2006 15:16:17 +0200] rev 20137

butlast removed (use fst o split_last instead)

webertj [Mon, 17 Jul 2006 01:28:17 +0200] rev 20136

support for MiniSat proof traces added

isabelle