104 Commits

Author	SHA1	Message	Date
Inari Listenmaa	db0bbfd1fb	(Ara) Add various functions to make SymbolicAra work.	2018-09-18 11:30:58 +02:00
Inari Listenmaa	bdef0d0f12	(Ara) Guessing default implementations in various categories	2018-09-06 16:25:50 +02:00
aarne	f2335d1b76	bug fix in ResAra	2009-12-07 19:56:38 +00:00
aarne	a1fdeb6704	next-lib renamed to lib, lib to old-lib	2009-06-22 15:39:08 +00:00