isabelle: Changelog

paulson [Thu, 01 Oct 1998 18:18:01 +0200] rev 5588

Revised version with Abelian group simprocs

wenzelm [Tue, 29 Sep 1998 18:13:05 +0200] rev 5587

handle empty name;

paulson [Tue, 29 Sep 1998 16:06:04 +0200] rev 5586

auto update

paulson [Tue, 29 Sep 1998 15:59:43 +0200] rev 5585

new function inter_term

paulson [Tue, 29 Sep 1998 15:58:47 +0200] rev 5584

Now id:(Acts prg) is implicit

paulson [Tue, 29 Sep 1998 15:58:25 +0200] rev 5583

modified proof for new simproc

paulson [Tue, 29 Sep 1998 15:57:42 +0200] rev 5582

many renamings and changes. Simproc for cancelling common terms in relations

nipkow [Tue, 29 Sep 1998 12:07:31 +0200] rev 5581

New keywords

nipkow [Tue, 29 Sep 1998 12:01:12 +0200] rev 5580

Revised wf_acc_iff and Co.

nipkow [Tue, 29 Sep 1998 12:00:52 +0200] rev 5579

new: wfUNIVI

isabelle