isabelle: Changelog

wenzelm [Fri, 17 Nov 2006 02:19:55 +0100] rev 21403

'notation': more robust 'and' list;

wenzelm [Fri, 17 Nov 2006 02:19:54 +0100] rev 21402

updated;

wenzelm [Fri, 17 Nov 2006 02:19:52 +0100] rev 21401

added Isar.goal;

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.

isabelle