1997-04-04 Calls Blast_tac. Tidied some proofs
paulson [Fri, 04 Apr 1997 11:27:02 +0200] rev 2893
Calls Blast_tac. Tidied some proofs
1997-04-04 Calls Blast_tac. Tidied some proofs
paulson [Fri, 04 Apr 1997 11:20:31 +0200] rev 2892
Calls Blast_tac. Tidied some proofs
1997-04-04 Calls Blast_tac
paulson [Fri, 04 Apr 1997 11:18:52 +0200] rev 2891
Calls Blast_tac
1997-04-04 Adds image_eqI instead of imageI, as the former is more general
paulson [Fri, 04 Apr 1997 11:18:19 +0200] rev 2890
Adds image_eqI instead of imageI, as the former is more general
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip