| Tue, 12 Dec 2006 16:20:57 +0100 | paulson | Removal of the "keep_types" flag: we always keep types! | changeset | files |
| Tue, 12 Dec 2006 12:03:46 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
| Tue, 12 Dec 2006 11:57:30 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 12 Dec 2006 07:46:40 +0100 | huffman | consistent naming for FreeUltrafilterNat lemmas; cleaned up | changeset | files |
| Tue, 12 Dec 2006 07:13:06 +0100 | huffman | cleaned up; generalized some proofs | changeset | files |
| Tue, 12 Dec 2006 07:11:58 +0100 | huffman | fix assumptions on NSDERIV_quotient | changeset | files |
| Tue, 12 Dec 2006 04:37:25 +0100 | huffman | changed (ns)deriv to take functions of type 'a::real_normed_field => 'a | changeset | files |