Thu, 13 Aug 1998 18:06:40 +0200 | paulson | Constrains, Stable, Invariant...more of the substitution axiom, but Union | file | diff | annotate |
Wed, 05 Aug 1998 18:21:37 +0200 | paulson | Null program and a few new results | file | diff | annotate |
Wed, 05 Aug 1998 10:56:58 +0200 | paulson | Union primitives and examples | file | diff | annotate |