isabelle: Changelog

paulson [Thu, 11 Sep 1997 12:21:34 +0200] rev 3666

auto update

nipkow [Wed, 10 Sep 1997 14:18:12 +0200] rev 3665

Added Larry's test for preventing a datatype shadowing a theory.

nipkow [Tue, 09 Sep 1997 12:09:06 +0200] rev 3664

Example from HOLCF paper.

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

isabelle