isabelle: Changelog

nipkow [Tue, 09 Sep 1997 12:08:28 +0200] rev 3663

Loads HoareEx now.

mueller [Tue, 09 Sep 1997 11:15:32 +0200] rev 3662

adm_tac extended

mueller [Tue, 09 Sep 1997 11:14:20 +0200] rev 3661

moved extended adm_tac to new place

paulson [Mon, 08 Sep 1997 10:12:28 +0200] rev 3660

added ".ML" extension in "use" command

paulson [Fri, 05 Sep 1997 12:24:13 +0200] rev 3659

Renamed "evs" to "evs1", "evs2", etc. in protocol inductive definition

paulson [Thu, 04 Sep 1997 17:57:56 +0200] rev 3658

set_of_list

paulson [Thu, 04 Sep 1997 17:43:16 +0200] rev 3657

Deleted an obsolete description of rewrite_cterm. The current version uses meta-simpsets, which are undocumented

mueller [Wed, 03 Sep 1997 16:25:30 +0200] rev 3656

some minor changes;

mueller [Wed, 03 Sep 1997 16:24:46 +0200] rev 3655

new extended adm tactic introduced;

nipkow [Tue, 02 Sep 1997 17:02:02 +0200] rev 3654

Added True_implies_equals

isabelle