isabelle: Changelog

huffman [Mon, 14 Jan 2008 03:56:31 +0100] rev 25897

use new-style class for po

huffman [Mon, 14 Jan 2008 03:54:31 +0100] rev 25896

add lemma contI2

huffman [Mon, 14 Jan 2008 03:49:53 +0100] rev 25895

converted adm_all and adm_ball to rule_format; cleaned up

berghofe [Sun, 13 Jan 2008 11:54:36 +0100] rev 25894

Equations for constants without arguments are now declared using "val" instead of "fun".

huffman [Thu, 10 Jan 2008 20:53:06 +0100] rev 25893

new theory defining set as a pcpo

berghofe [Thu, 10 Jan 2008 19:28:02 +0100] rev 25892

Test data generation and conversion to terms are now more closely intertwined, to allow displaying of functions in test data.

berghofe [Thu, 10 Jan 2008 19:25:08 +0100] rev 25891

New example involving functions.

isabelle