isabelle: Changelog

wenzelm [Fri, 17 Nov 2006 02:19:51 +0100] rev 21400

added where_;

huffman [Thu, 16 Nov 2006 20:19:50 +0100] rev 21399

add lemmas LIM_zero_iff, LIM_norm_zero_iff

paulson [Thu, 16 Nov 2006 17:06:24 +0100] rev 21398

Includes type:sort constraints in its code to collect predicates in axiom clauses.

paulson [Thu, 16 Nov 2006 17:05:23 +0100] rev 21397

Now includes only types used to instantiate overloaded constants in arity clauses

wenzelm [Thu, 16 Nov 2006 01:07:39 +0100] rev 21396

added General/basics.ML;

wenzelm [Thu, 16 Nov 2006 01:07:25 +0100] rev 21395

moved some fundamental concepts to General/basics.ML;

wenzelm [Thu, 16 Nov 2006 01:07:23 +0100] rev 21394

Fundamental concepts.

wenzelm [Wed, 15 Nov 2006 20:50:24 +0100] rev 21393

add_locale: re-init result context (avoids subtle modifications after introducing predicate views internally);

wenzelm [Wed, 15 Nov 2006 20:50:23 +0100] rev 21392

tuned proofs;

wenzelm [Wed, 15 Nov 2006 20:50:22 +0100] rev 21391

replaced NameSpace.append by NameSpace.qualified, which handles empty names as expected;

isabelle