/*
 * @(#)$Id: external_lemma,v 1.1.2.1 1998/05/22 13:04:17 rjb Exp $
 *
 * $Log: external_lemma,v $
 * Revision 1.1.2.1  1998/05/22 13:04:17  rjb
 * New method for external lemmas.
 *
 */

method(external_lemma(external([],[fail],Result)),
       H==>G,
       [applicable_submethod(H==>G,external([],[fail],Result),
                             _,Outputs)],
       [],
       Outputs,
       external_lemma(external([],[fail],Result))
      ).
