| Mon, 26 Sep 2005 02:06:44 +0200 | obua | added Drule.disambiguate_frees : thm -> thm | changeset | files |
| Sun, 25 Sep 2005 23:36:14 +0200 | wenzelm | zero_var_inst: replace loose bounds :000 etc.; | changeset | files |
| Sun, 25 Sep 2005 20:24:23 +0200 | wenzelm | * Hyperreal: A theory of Taylor series. | changeset | files |
| Sun, 25 Sep 2005 20:24:10 +0200 | wenzelm | more; | changeset | files |