isabelle: Changelog

paulson [Wed, 02 Apr 1997 15:24:42 +0200] rev 2869

DEEPEN now takes an upper bound for terminating searches

paulson [Wed, 02 Apr 1997 15:23:33 +0200] rev 2868

New DEEPEN allows giving an upper bound for deepen_tac

paulson [Wed, 02 Apr 1997 15:19:40 +0200] rev 2867

Now builds blast_tac

paulson [Wed, 02 Apr 1997 15:18:21 +0200] rev 2866

Now loads blast.ML

paulson [Wed, 02 Apr 1997 15:14:37 +0200] rev 2865

ZF.thy is again usable

wenzelm [Wed, 02 Apr 1997 11:59:02 +0200] rev 2864

The isabelle-0 encoding table.

paulson [Wed, 02 Apr 1997 11:33:14 +0200] rev 2863

Made the error message more explicit

paulson [Wed, 02 Apr 1997 11:32:48 +0200] rev 2862

Now declares Basis Library version of type option Also function mapPartial

paulson [Wed, 02 Apr 1997 11:30:48 +0200] rev 2861

Replaced Best_tac by the one rule needed for the proof

paulson [Wed, 02 Apr 1997 11:30:03 +0200] rev 2860

Installation of blast_tac

isabelle