3 Commits

Author	SHA1	Message	Date
Casey Klein	a0f2db7574	Drops `traces' call to make the file DrDr-friendly	2011-08-15 12:46:14 -05:00
Casey Klein	cd1281fa65	Changes example from arithmetic to pairs	2011-08-12 04:33:38 -05:00
Casey Klein	f803f187bd	Adds bigger define-judgment-form examples	2011-08-10 12:24:01 -05:00