[project @ 2004-11-03 01:10:53 by igloo]
authorigloo <unknown>
Wed, 3 Nov 2004 01:10:59 +0000 (01:10 +0000)
committerigloo <unknown>
Wed, 3 Nov 2004 01:10:59 +0000 (01:10 +0000)
Implement TH ForallC constructor.


No differences found