isabelle: Changelog

urbanc [Tue, 05 Jun 2007 09:56:19 +0200] rev 23243

included Class.thy in the compiling process for Nominal/Examples

huffman [Tue, 05 Jun 2007 07:58:50 +0200] rev 23242

remove simp attribute from lemma_STAR theorems

huffman [Tue, 05 Jun 2007 00:54:03 +0200] rev 23241

add lemma exp_of_real

nipkow [Mon, 04 Jun 2007 22:27:18 +0200] rev 23240

tuned list comprehension

wenzelm [Mon, 04 Jun 2007 21:04:20 +0200] rev 23239

tuned;

wenzelm [Mon, 04 Jun 2007 21:04:19 +0200] rev 23238

added is_atomic; removed unused is_all;

wenzelm [Mon, 04 Jun 2007 21:04:19 +0200] rev 23237

added assume_rule_tac;

haftmann [Mon, 04 Jun 2007 15:43:32 +0200] rev 23236

reverted appnd to append

haftmann [Mon, 04 Jun 2007 15:43:31 +0200] rev 23235

authentic syntax for List.append

haftmann [Mon, 04 Jun 2007 15:43:30 +0200] rev 23234

tuned comments

isabelle