/*
 * @(#)$Id: nul,v 1.1 1994/09/16 09:34:53 dream Exp $
 *
 * $Log: nul,v $
 * Revision 1.1  1994/09/16 09:34:53  dream
 * Initial revision
 *
 */

problem([]==>{sexp},
normalize_goal([[unroll,_2060]]),_2047,
[problem([]==>rec(sexp,unary\atom\pnat\sexp#sexp),
 intro_hyps([]),_2070,
 [problem([]==>rec(sexp,unary\atom\pnat\sexp#sexp),
  intro(explicit(inl(unit)))then prove_mem,inl(unit),
  [
  ]) ext _2070
 ]) ext _2047
]).
