isabelle: Changelog

huffman [Sat, 19 May 2007 04:52:24 +0200] rev 23012

remove dependence on Hilbert_Choice.thy

huffman [Sat, 19 May 2007 04:51:03 +0200] rev 23011

use THE instead of SOME

huffman [Fri, 18 May 2007 18:20:39 +0200] rev 23010

minimize imports

huffman [Fri, 18 May 2007 17:35:07 +0200] rev 23009

Prove existence of nth roots using Intermediate Value Theorem

huffman [Fri, 18 May 2007 16:13:07 +0200] rev 23008

avoid using real_mult_inverse_left; cleaned up

huffman [Fri, 18 May 2007 16:11:13 +0200] rev 23007

use mult_strict_mono instead of real_mult_less_mono

berghofe [Fri, 18 May 2007 11:12:03 +0200] rev 23006

Fixed bug in subst causing primrec functions returning functions to be rejected.

haftmann [Fri, 18 May 2007 09:16:57 +0200] rev 23005

dropped word_setup.ML

krauss [Thu, 17 May 2007 23:04:54 +0200] rev 23004

added files

krauss [Thu, 17 May 2007 23:03:47 +0200] rev 23003

updated

isabelle