isabelle: Changelog

huffman [Mon, 10 Oct 2005 04:03:09 +0200] rev 17813

cleaned up

huffman [Mon, 10 Oct 2005 04:00:40 +0200] rev 17812

added theorem typedef_chfin

huffman [Mon, 10 Oct 2005 03:55:39 +0200] rev 17811

replaced foldr' with foldr1

huffman [Mon, 10 Oct 2005 03:47:00 +0200] rev 17810

cleaned up; renamed "Porder.op <<" to "Porder.<<"

webertj [Sun, 09 Oct 2005 17:06:03 +0200] rev 17809

Tactics sat and satx reimplemented, several improvements

wenzelm [Sat, 08 Oct 2005 23:43:15 +0200] rev 17808

tuned Memory.hilim;

wenzelm [Sat, 08 Oct 2005 23:43:14 +0200] rev 17807

get rid of feeder -- at the cost of batch-only commit-at-exit; redirect stderr to stdout;

nipkow [Sat, 08 Oct 2005 23:36:01 +0200] rev 17806

*** empty log message ***

Sat, 08 Oct 2005 23:05:59 +0200 -nort option;

wenzelm [Sat, 08 Oct 2005 23:05:59 +0200] rev 17805

-nort option;

wenzelm [Sat, 08 Oct 2005 22:39:42 +0200] rev 17804

added could_unify;

isabelle