isabelle: Changelog

wenzelm [Tue, 07 Oct 1997 17:58:50 +0200] rev 3804

tuned decode;

wenzelm [Tue, 07 Oct 1997 17:58:01 +0200] rev 3803

tuned internal mapping table; improved merge: 2nd overrides 1st;

wenzelm [Tue, 07 Oct 1997 17:08:48 +0200] rev 3802

tuned;

wenzelm [Tue, 07 Oct 1997 17:06:05 +0200] rev 3801

tuned warning msg;

wenzelm [Tue, 07 Oct 1997 12:37:53 +0200] rev 3800

tuned;

wenzelm [Tue, 07 Oct 1997 12:29:34 +0200] rev 3799

The Isabelle Logo;

wenzelm [Mon, 06 Oct 1997 20:00:31 +0200] rev 3798

fixed 'begin';

wenzelm [Mon, 06 Oct 1997 19:39:40 +0200] rev 3797

optional begin keyword;

wenzelm [Mon, 06 Oct 1997 19:16:57 +0200] rev 3796

"->" made syntax;

wenzelm [Mon, 06 Oct 1997 19:15:22 +0200] rev 3795

eliminated raise_term;

isabelle