6 Commits

Include renames

Author	SHA1	Message	Date
aarne	6ec3405978	overload checking and messages; resource.txt modifs	2007-05-31 09:58:38 +00:00
bringert	5d25bf1178	Added overloaded negation to Combinators.	2007-04-21 09:38:52 +00:00
bringert	0c061207b2	Overaloed resource API: added mod combinators for Det -> N -> NP and Det -> CN -> NP	2007-03-22 14:29:45 +00:00
aarne	51a359eeea	documented Combinators	2006-12-22 13:10:48 +00:00
aarne	e482512377	a logic library; fix in make mathematical	2006-11-26 17:14:20 +00:00
aarne	d8b3714e4e	overloading API and examples	2006-11-18 21:10:46 +00:00