10 Commits

Author	SHA1	Message	Date
aarne	695f30725f	restructured Russian; copies of Constructors in present and alltenses	2007-06-08 15:30:21 +00:00
aarne	3a84f614a9	documented Combinators	2006-12-22 13:10:48 +00:00
aarne	fd90fe0791	overload rules and their documentation	2006-12-21 09:25:02 +00:00
aarne	0bf909b0fd	overload resolution with value type, for experiment	2006-12-19 23:34:36 +00:00
aarne	2f68128323	partial application in overload resolution, with priority for full app	2006-12-19 16:32:15 +00:00
aarne	0c5f2c1288	more in ArithmEng	2006-11-27 21:03:15 +00:00
aarne	8cd9a329fa	arithm example	2006-11-27 16:43:57 +00:00
aarne	854fe0aac1	AdvS and for_Prep in resource (except Russian)	2006-11-27 16:21:27 +00:00
aarne	a5232f7e5b	part of Logic implemented generically	2006-11-27 10:54:26 +00:00
aarne	c75688651e	a logic library; fix in make mathematical	2006-11-26 17:14:20 +00:00