isabelle: Changelog

paulson [Wed, 02 Apr 1997 11:27:47 +0200] rev 2859

Now tests for essential ancestors (Lfp or Gfp)

paulson [Wed, 02 Apr 1997 11:25:04 +0200] rev 2858

Re-ordering of rules to assist blast_tac Powerset rules must not be the most recent

paulson [Wed, 02 Apr 1997 11:23:31 +0200] rev 2857

Now loads blast_tac

paulson [Wed, 02 Apr 1997 11:19:46 +0200] rev 2856

Reorganization of how classical rules are installed

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;

isabelle