isabelle: Changelog

huffman [Fri, 01 Jul 2005 04:00:23 +0200] rev 16628

remove uses of sign_of

huffman [Fri, 01 Jul 2005 02:35:24 +0200] rev 16627

cleaned up

huffman [Fri, 01 Jul 2005 02:30:59 +0200] rev 16626

cleaned up

huffman [Fri, 01 Jul 2005 01:50:46 +0200] rev 16625

renamed flatdom2monofun to flatdom_strict2mono

huffman [Fri, 01 Jul 2005 01:50:07 +0200] rev 16624

cleaned up; reorganized and added section headings

huffman [Fri, 01 Jul 2005 01:48:37 +0200] rev 16623

cleaned up; added adm_less to adm_lemmas; added subsection headings

wenzelm [Thu, 30 Jun 2005 19:49:41 +0200] rev 16622

revert to 1.27 due to obscure performance issues (!??);

huffman [Thu, 30 Jun 2005 19:43:50 +0200] rev 16621

replace filter2 with List.partition

ballarin [Thu, 30 Jun 2005 14:06:29 +0200] rev 16620

Proper treatment of beta-redexes in witness theorems.

haftmann [Thu, 30 Jun 2005 08:57:53 +0200] rev 16619

minor corrections

isabelle