Move conditional and disjunction folding and inversion to subst.scm
authorJoe Marshall <jmarshall@alum.mit.edu>
Wed, 3 Mar 2010 02:01:08 +0000 (18:01 -0800)
committerJoe Marshall <jmarshall@alum.mit.edu>
Wed, 3 Mar 2010 02:01:08 +0000 (18:01 -0800)
commita067d702f2b26b20bad50e37698b39b65831e900
treec018612b4fcaa89ed43220d259fc4015899b3ff4
parent8d1c5a36af7d18fe4c8c1f894ce7fe9c608e3042
Move conditional and disjunction folding and inversion to subst.scm
src/sf/object.scm
src/sf/sf.pkg
src/sf/subst.scm