4 commits

Author	SHA1	Message	Date
ceriel	5c83e7dbb5	Header --> Id	1994-06-24 11:31:16 +00:00
ceriel	815166e421	Added copyright notice	1987-03-09 19:15:41 +00:00
ceriel	3e3ebc6b8b	cardinality of sets was wrong!	1987-02-18 10:47:55 +00:00
sater	72b83cca59	*** empty log message ***	1985-01-08 09:59:28 +00:00