fleuriot [Thu, 21 Sep 2000 12:17:11 +0200] rev 10045
New theories: construction of hypernaturals, nonstandard extensions,
and some nonstandard analysis.
kleing [Thu, 21 Sep 2000 12:13:36 +0200] rev 10044
tuned, added lightweight BV to abstract, added Bali link
fleuriot [Thu, 21 Sep 2000 12:11:38 +0200] rev 10043
Updated Files with new theorems
kleing [Thu, 21 Sep 2000 10:42:49 +0200] rev 10042
unsymbolized
wenzelm [Wed, 20 Sep 2000 21:20:41 +0200] rev 10041
removed dead code;
wenzelm [Wed, 20 Sep 2000 21:20:26 +0200] rev 10040
added "install" target;
wenzelm [Wed, 20 Sep 2000 21:20:01 +0200] rev 10039
tuned;
wenzelm [Wed, 20 Sep 2000 14:59:19 +0200] rev 10038
tuned rpm command lines;
wenzelm [Wed, 20 Sep 2000 00:50:09 +0200] rev 10037
updated;
wenzelm [Wed, 20 Sep 2000 00:02:26 +0200] rev 10036
made SML/NJ happy;
wenzelm [Tue, 19 Sep 2000 23:54:25 +0200] rev 10035
added common args keywords;
wenzelm [Tue, 19 Sep 2000 23:53:00 +0200] rev 10034
tuned args;
wenzelm [Tue, 19 Sep 2000 23:52:37 +0200] rev 10033
added iff_add_global', iff_add_local' (syntax "iff?");
tuned;
wenzelm [Tue, 19 Sep 2000 23:52:00 +0200] rev 10032
tuned;
wenzelm [Tue, 19 Sep 2000 23:51:39 +0200] rev 10031
attribute / modifier 'iff': support "?" mode;