Revision 236

Jump to revision:
Author:	ad001h
Date:	Mon May 20 14:28:04 2002 UTC (11 years ago)
Log Message:	added new problems for Discrete and edited in SetTheory

Changed paths:

Path	Details
trunk/rochester_problib/setDiscrete1Logic.def	added
trunk/rochester_problib/setDiscrete2Quantifiers.def	added
trunk/rochester_problib/setDiscrete3SetTheory.def	added
trunk/rochester_problib/setSetTheory1.def	modified , text changed

aubreyja at gmail dot com	ViewVC Help
Powered by ViewVC 1.0.9