#  problem-set/prog.verification
#  created : 08/15/88
#  revised : 08/15/88
#  
# 

file	 problem-set/prog.verification/problems

# 
# 

.