isabelle: Changelog

paulson [Wed, 08 Sep 1999 15:40:39 +0200] rev 7517

generalized the theorem bin_add_BIT_Min to bin_add_Min_right

paulson [Wed, 08 Sep 1999 15:39:52 +0200] rev 7516

moved identity theorems to Fun.ML

paulson [Wed, 08 Sep 1999 15:38:54 +0200] rev 7515

comments

paulson [Wed, 08 Sep 1999 15:38:12 +0200] rev 7514

images and preimages of the identity function

paulson [Wed, 08 Sep 1999 15:37:31 +0200] rev 7513

new example HOL/UNITY/TimerArray

wenzelm [Tue, 07 Sep 1999 18:10:33 +0200] rev 7512

rule option;

wenzelm [Tue, 07 Sep 1999 18:10:03 +0200] rev 7511

\indexisarmeth: "Methods";

wenzelm [Tue, 07 Sep 1999 18:09:40 +0200] rev 7510

tuned (then_)apply;

wenzelm [Tue, 07 Sep 1999 18:09:18 +0200] rev 7509

url;

wenzelm [Tue, 07 Sep 1999 18:09:04 +0200] rev 7508

\url;

isabelle