Thu, 21 Sep 2000 12:17:11 +0200 | fleuriot | New theories: construction of hypernaturals, nonstandard extensions, | changeset | files |
Thu, 21 Sep 2000 12:13:36 +0200 | kleing | tuned, added lightweight BV to abstract, added Bali link | changeset | files |
Thu, 21 Sep 2000 12:11:38 +0200 | fleuriot | Updated Files with new theorems | changeset | files |
Thu, 21 Sep 2000 10:42:49 +0200 | kleing | unsymbolized | changeset | files |
Wed, 20 Sep 2000 21:20:41 +0200 | wenzelm | removed dead code; | changeset | files |
Wed, 20 Sep 2000 21:20:26 +0200 | wenzelm | added "install" target; | changeset | files |
Wed, 20 Sep 2000 21:20:01 +0200 | wenzelm | tuned; | changeset | files |