Timestamp:
Jul 11, 2011, 2:09:03 PM (9 years ago)
Author:
mulligan
Message:

separated jmeq and coercions from foldstuff.ma in order to fix the ongoing mess in util.ma surrounding reduce_strong

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.