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
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