isabelle: Changelog

wenzelm [Tue, 01 Apr 1997 12:44:12 +0200] rev 2851

improved messages;

wenzelm [Tue, 01 Apr 1997 11:16:06 +0200] rev 2850

removed useless symbol font syntax;

wenzelm [Tue, 01 Apr 1997 09:28:56 +0200] rev 2849

fixed -s option;

wenzelm [Mon, 31 Mar 1997 14:42:13 +0200] rev 2848

simple_ast_of: fixed handling of loose Bounds;

nipkow [Sun, 30 Mar 1997 13:40:38 +0200] rev 2847

Replaced (s,t) : id by s=t.

nipkow [Thu, 27 Mar 1997 17:46:24 +0100] rev 2846

Optimized proofs.

paulson [Thu, 27 Mar 1997 10:08:31 +0100] rev 2845

Changes made necessary by the new ex1 rules

paulson [Thu, 27 Mar 1997 10:07:11 +0100] rev 2844

Now uses the alternative (safe!) rules for ex1

paulson [Thu, 27 Mar 1997 10:06:36 +0100] rev 2843

Updated comment

nipkow [Wed, 26 Mar 1997 18:51:57 +0100] rev 2842

Cleaned up a little.

isabelle