isabelle: Changelog

haftmann [Mon, 21 Jan 2008 08:43:31 +0100] rev 25931

streamlined and improved

haftmann [Mon, 21 Jan 2008 08:43:30 +0100] rev 25930

adjusted to constant and theorem renames

haftmann [Mon, 21 Jan 2008 08:43:29 +0100] rev 25929

avoiding direct references to numeral presentation

haftmann [Mon, 21 Jan 2008 08:43:27 +0100] rev 25928

tuned code setup

huffman [Fri, 18 Jan 2008 20:34:28 +0100] rev 25927

add space to binder syntax

huffman [Fri, 18 Jan 2008 20:31:11 +0100] rev 25926

pcpodef generates strict_iff lemmas

huffman [Fri, 18 Jan 2008 20:22:07 +0100] rev 25925

change lemma admD to rule_format

haftmann [Fri, 18 Jan 2008 08:30:12 +0100] rev 25924

improved implementation

huffman [Thu, 17 Jan 2008 21:56:33 +0100] rev 25923

convert lemma lub_mono to rule_format

huffman [Thu, 17 Jan 2008 21:44:19 +0100] rev 25922

rename lemma chain_mono3 -> chain_mono, chain_mono -> chain_mono_less

isabelle