head	1.1;
access
	monica
	thoth;
symbols;
locks; strict;
comment	@// @;


1.1
date	94.08.25.15.57.47;	author ljr;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Initial revision
@
text
@
	{ 1, } 
	==
	{ 1, } 
	result:True

	{ 1, } 
	==
	{ 2, } 
	result:False

	{ 1, } 
	==
	{ 3, } 
	result:False

	{ 1, } 
	==
	{ 1,2, } 
	result:False

	{ 1, } 
	==
	{ 1,3, } 
	result:False

	{ 1, } 
	==
	{ 2,3, } 
	result:False

	{ 1, } 
	==
	{ 1,2,3, } 
	result:False

	{ 1, } 
	==
	{ -2,-1,0,1,2, } 
	result:False

	{ 1, } 
	==
	 empty set {  } 
	result:False

	{ 1, } 
	==
	{ -3,-2,-1,0,1,2,3,4, } 
	result:False

	{ 1, } 
	==
	{ -3,-2,-1,0,1,2,3, } 
	result:False

	{ 1, } 
	==
	{ -3,-2,-1,0,1,2,3,4, } 
	result:False

	{ 1, } 
	==
	 empty set {  } 
	result:False
@
