urbanc [Fri, 17 Nov 2006 17:32:30 +0100] rev 21405
added an intro lemma for freshness of products; set up
the simplifier so that it can deal with the compact and
long notation for freshness constraints (FIXME: it should
also be able to deal with the special case of freshness
of atoms)
wenzelm [Fri, 17 Nov 2006 02:20:03 +0100] rev 21404
more robust syntax for definition/abbreviation/notation;
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;