Wed, 02 Apr 1997 15:19:40 +0200 Now builds blast_tac
paulson [Wed, 02 Apr 1997 15:19:40 +0200] rev 2867
Now builds blast_tac
Wed, 02 Apr 1997 15:18:21 +0200 Now loads blast.ML
paulson [Wed, 02 Apr 1997 15:18:21 +0200] rev 2866
Now loads blast.ML
Wed, 02 Apr 1997 15:14:37 +0200 ZF.thy is again usable
paulson [Wed, 02 Apr 1997 15:14:37 +0200] rev 2865
ZF.thy is again usable
Wed, 02 Apr 1997 11:59:02 +0200 The isabelle-0 encoding table.
wenzelm [Wed, 02 Apr 1997 11:59:02 +0200] rev 2864
The isabelle-0 encoding table.
Wed, 02 Apr 1997 11:33:14 +0200 Made the error message more explicit
paulson [Wed, 02 Apr 1997 11:33:14 +0200] rev 2863
Made the error message more explicit
Wed, 02 Apr 1997 11:32:48 +0200 Now declares Basis Library version of type option
paulson [Wed, 02 Apr 1997 11:32:48 +0200] rev 2862
Now declares Basis Library version of type option Also function mapPartial
Wed, 02 Apr 1997 11:30:48 +0200 Replaced Best_tac by the one rule needed for the proof
paulson [Wed, 02 Apr 1997 11:30:48 +0200] rev 2861
Replaced Best_tac by the one rule needed for the proof
Wed, 02 Apr 1997 11:30:03 +0200 Installation of blast_tac
paulson [Wed, 02 Apr 1997 11:30:03 +0200] rev 2860
Installation of blast_tac
Wed, 02 Apr 1997 11:27:47 +0200 Now tests for essential ancestors (Lfp or Gfp)
paulson [Wed, 02 Apr 1997 11:27:47 +0200] rev 2859
Now tests for essential ancestors (Lfp or Gfp)
Wed, 02 Apr 1997 11:25:04 +0200 Re-ordering of rules to assist blast_tac
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
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip