/*
 * @(#)$Id: ordered2,v 1.2 1996/06/19 09:32:10 img Exp $
 *
 * $Log: ordered2,v $
 * Revision 1.2  1996/06/19 09:32:10  img
 * *** empty log message ***
 *
 * Revision 1.1  1994/09/16  09:38:16  dream
 * Initial revision
 */

problem([]==>x:int=>ordered(x::nil)={true} in u(1),
repeat intro,lambda(x,_7584),
[problem([x:int]==>ordered(x::nil),
 simplify then repeat intro,x,
 [
 ]) ext _7584
]).
