Revision 237

Jump to revision:
Author:	ad001h
Date:	Mon May 20 14:31:44 2002 UTC (11 years ago)
Log Message:	new problems

Changed paths:

Path	Details
trunk/rochester_problib/setDiscrete1Logic/	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_1.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_10.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_2.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_3.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_4.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_5.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_6.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_7.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_8.pg	added
trunk/rochester_problib/setDiscrete1Logic/ur_dis_1_9.pg	added
trunk/rochester_problib/setDiscrete2Quantifiers/	added
trunk/rochester_problib/setDiscrete2Quantifiers/ur_dis_2_1.pg	added
trunk/rochester_problib/setDiscrete2Quantifiers/ur_dis_2_2.pg	added
trunk/rochester_problib/setDiscrete2Quantifiers/ur_dis_2_3.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_10.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_11.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_12.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_5.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_6.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_7.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_8.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_1_9.pg	added
trunk/rochester_problib/setDiscrete3SetTheory/ur_st_2_1.pg	added
trunk/rochester_problib/setSetTheory2Fuzzy/	added
trunk/rochester_problib/setSetTheory2Fuzzy/ur_dis_1_6.pg	added
trunk/rochester_problib/setSetTheory2Fuzzy/ur_st_2_1.pg	added
trunk/rochester_problib/setSetTheory2Fuzzy.def	added