| Tue, 04 May 2010 21:04:04 -0700 |
huffman |
merged
|
changeset |
files
|
| Tue, 04 May 2010 21:03:50 -0700 |
huffman |
avoid using '...' with LIMSEQ (cf. 1cc4ab4b7ff7)
|
changeset |
files
|
| Tue, 04 May 2010 19:53:57 -0700 |
huffman |
generalize some lemmas to class t1_space
|
changeset |
files
|
| Tue, 04 May 2010 19:23:59 -0700 |
huffman |
simplify definition of t1_space; generalize lemma closed_sing and related lemmas
|
changeset |
files
|
| Tue, 04 May 2010 18:55:18 -0700 |
huffman |
generalize some lemmas
|
changeset |
files
|
| Tue, 04 May 2010 17:37:31 -0700 |
huffman |
convert comments to 'text' blocks
|
changeset |
files
|
| Tue, 04 May 2010 15:44:42 -0700 |
huffman |
generalize more lemmas about limits
|
changeset |
files
|
| Wed, 05 May 2010 00:59:59 +0200 |
krauss |
repaired comments where SOMEthing went utterly wrong (cf. 2b04504fcb69)
|
changeset |
files
|
| Tue, 04 May 2010 13:11:15 -0700 |
huffman |
merged
|
changeset |
files
|
| Tue, 04 May 2010 13:08:56 -0700 |
huffman |
generalize types of LIMSEQ and LIM; generalize many lemmas
|
changeset |
files
|
| Tue, 04 May 2010 10:42:47 -0700 |
huffman |
make (f -- a --> x) an abbreviation for (f ---> x) (at a)
|
changeset |
files
|
| Tue, 04 May 2010 10:06:05 -0700 |
huffman |
make (X ----> L) an abbreviation for (X ---> L) sequentially
|
changeset |
files
|