3 Commits

Author	SHA1	Message	Date
aarneranta	2f379bf9c6	added symb : Int -> Card instance in Symbolic	2021-07-21 16:19:01 +02:00
aarne	92009ac383	one more instance of symb in Symbolic	2012-06-10 14:11:47 +00:00
aarne	a1fdeb6704	next-lib renamed to lib, lib to old-lib	2009-06-22 15:39:08 +00:00