# 
#  problem-set/set.theory
#  created : 08/15/88
#  revised : 08/15/88
#  
#  
#  Sub-Directories
#  ----------------------------------------------------------------------

lib	problem-set/set.theory/godel
for	godel : set theory problems using Godel's finite axiomatization of set
,	theory.

lib	problem-set/set.theory/naive
for	naive : set theory problems using a naive axiomatization of set theory.

#  ----------------------------------------------------------------------
#  
#  

.