[project @ 2002-11-13 09:57:02 by chak]
authorchak <unknown>
Wed, 13 Nov 2002 09:57:02 +0000 (09:57 +0000)
committerchak <unknown>
Wed, 13 Nov 2002 09:57:02 +0000 (09:57 +0000)
Added forall's to the representation of type terms


No differences found