54 Commits

Author	SHA1	Message	Date
aarne	e482512377	a logic library; fix in make mathematical	2006-11-26 17:14:20 +00:00
aarne	0f2ed32c52	overloaded API to symbol	2006-11-23 13:13:15 +00:00
aarne	54bf99ab82	Constructors documented	2006-11-21 18:18:54 +00:00
aarne	d8b3714e4e	overloading API and examples	2006-11-18 21:10:46 +00:00