Fixup disjunction integration.
authorJoe Marshall <jmarshall@alum.mit.edu>
Mon, 8 Mar 2010 21:42:00 +0000 (13:42 -0800)
committerJoe Marshall <jmarshall@alum.mit.edu>
Mon, 8 Mar 2010 21:42:00 +0000 (13:42 -0800)
commit97b7406ed3c2866652301f8b93eb95b433e46961
tree343d27d567608894f0459857d045d2a6d6790fe8
parenta9f3dc9af8507f323afc39ce60e35910321cf65b
Fixup disjunction integration.
src/sf/subst.scm