isabelle: Changelog

paulson [Wed, 02 Apr 1997 11:16:40 +0200] rev 2855

Now calls require_thy to ensure ancestors are present

paulson [Wed, 02 Apr 1997 11:15:46 +0200] rev 2854

Implementation of blast_tac: fast tableau prover

wenzelm [Tue, 01 Apr 1997 18:26:09 +0200] rev 2853

replaced by usedir;

wenzelm [Tue, 01 Apr 1997 12:54:40 +0200] rev 2852

eliminated references to old 8bit fonts;

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.

isabelle