isabelle: Changelog

paulson [Wed, 14 Sep 2005 10:20:50 +0200] rev 17375

nice names for more infix operators

haftmann [Wed, 14 Sep 2005 10:13:12 +0200] rev 17374

introduces AList.lookup

huffman [Wed, 14 Sep 2005 01:47:06 +0200] rev 17373

removed duplicated lemmas; convert more proofs to transfer principle

huffman [Tue, 13 Sep 2005 23:30:01 +0200] rev 17372

add theorem chain_const

wenzelm [Tue, 13 Sep 2005 22:49:12 +0200] rev 17371

tuned;

wenzelm [Tue, 13 Sep 2005 22:21:06 +0200] rev 17370

global quick_and_dirty;

wenzelm [Tue, 13 Sep 2005 22:19:54 +0200] rev 17369

Printing of Isar proof elements etc.

wenzelm [Tue, 13 Sep 2005 22:19:53 +0200] rev 17368

Non-empty stacks.

wenzelm [Tue, 13 Sep 2005 22:19:52 +0200] rev 17367

IsarThy.begin_theory;

wenzelm [Tue, 13 Sep 2005 22:19:51 +0200] rev 17366

export ml_exts;

isabelle