isabelle: Changelog

paulson [Fri, 26 Sep 2003 10:32:26 +0200] rev 14206

Tidying of SET's "possibility theorems" (removal of Key_supply_ax)

paulson [Wed, 24 Sep 2003 10:44:41 +0200] rev 14205

new example for the Isar version of the ZF manual

skalberg [Tue, 23 Sep 2003 20:37:45 +0200] rev 14204

Fixed soundness bug.

paulson [Tue, 23 Sep 2003 15:49:17 +0200] rev 14203

conversion of NSP_Bad to Isar script

paulson [Tue, 23 Sep 2003 15:44:25 +0200] rev 14202

case_tac tweak

paulson [Tue, 23 Sep 2003 15:42:01 +0200] rev 14201

some basic new lemmas

paulson [Tue, 23 Sep 2003 15:41:33 +0200] rev 14200

Removal of the Key_supply axiom (affects many possbility proofs) and minor changes

paulson [Tue, 23 Sep 2003 15:40:27 +0200] rev 14199

new session HOL-SET-Protocol

berghofe [Mon, 22 Sep 2003 16:19:46 +0200] rev 14198

Modified merge_aux to prevent newer names from getting overwritten by older names.

berghofe [Mon, 22 Sep 2003 16:16:03 +0200] rev 14197

add_attribute now takes parser as argument.

isabelle