Robby Findler 0369342bfe added names to clauses in define-judgment-form and added ... judgment-form-cases to use the names to control typesetting		2012-08-08 21:34:28 -05:00
..
HISTORY.txt	added names to clauses in define-judgment-form and added	2012-08-08 21:34:28 -05:00