7 Commits

Author	SHA1	Message	Date
bringert	708b89f8f9	Added some determiners to Constructors.	2007-04-19 21:26:19 +00:00
bringert	c9dba06fc2	Added versions of mkCn that take N instead of CN arguments.	2007-04-19 21:07:37 +00:00
bringert	c62d0ef181	Added mkDet : Digit -> Det	2007-03-22 14:36:52 +00:00
aarne	d44027b8f2	AdvS and for_Prep in resource (except Russian)	2006-11-27 16:21:27 +00:00
aarne	e482512377	a logic library; fix in make mathematical	2006-11-26 17:14:20 +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