diff doc/formulas.txt @ 1187:7d34edde029d

added serializability requiremnt
author James Bergstra <bergstrj@iro.umontreal.ca>
date Fri, 17 Sep 2010 17:53:35 -0400
parents be53f56b37b8
children 9ce32a8252d2
line wrap: on
line diff