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