| Fri, 15 Sep 2006 22:56:08 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Sep 2006 20:08:38 +0200 | wenzelm | rrule: maintain 'extra' field for rule that contain extra vars outside elhs; | changeset | files |
| Fri, 15 Sep 2006 20:08:37 +0200 | wenzelm | instantiate: omit has_duplicates check, which is irrelevant for soundness; | changeset | files |
| Fri, 15 Sep 2006 18:06:51 +0200 | webertj | trivial whitespace change | changeset | files |
| Fri, 15 Sep 2006 16:49:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 14 Sep 2006 22:48:37 +0200 | wenzelm | more on theorems; | changeset | files |
| Thu, 14 Sep 2006 21:42:21 +0200 | huffman | generalized types of Infinitesimal, HFinite, and HInfinite to work over nonstandard extensions of any real normed vector space | changeset | files |
| Thu, 14 Sep 2006 21:36:26 +0200 | huffman | add instance for class division_ring | changeset | files |