Simply disjunction integration by moving disjunction construction logic to object.scm
authorJoe Marshall <jmarshall@alum.mit.edu>
Wed, 10 Feb 2010 01:08:18 +0000 (17:08 -0800)
committerJoe Marshall <jmarshall@alum.mit.edu>
Wed, 10 Feb 2010 01:08:18 +0000 (17:08 -0800)
commita3cecae083edea793e089ee7e141f5bfd9cad475
treed74de6a185d2e158fd59cf04f66b38f9b2931271
parent3b3353a6e0d8e96bf9e49087d07634ed3d5763e2
Simply disjunction integration by moving disjunction construction logic to object.scm
src/sf/object.scm
src/sf/sf.pkg
src/sf/subst.scm