isabelle: Changelog

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.

berghofe [Mon, 22 Sep 2003 16:14:58 +0200] rev 14196

Added "del" attribute for deleting equations.

berghofe [Mon, 22 Sep 2003 16:06:05 +0200] rev 14195

Changed interface of add_attribute.

isabelle