isabelle: Changelog

paulson [Thu, 01 Oct 1998 18:23:00 +0200] rev 5591

tidied

paulson [Thu, 01 Oct 1998 18:22:24 +0200] rev 5590

white space

paulson [Thu, 01 Oct 1998 18:19:34 +0200] rev 5589

new simproc functor

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

isabelle