Sun, 07 Jun 2009 15:18:52 -0700 | huffman | generalize tendsto lemmas for products | changeset | files |
Sun, 07 Jun 2009 12:00:03 -0700 | huffman | move definitions of open, closed to RealVector.thy | changeset | files |
Sat, 06 Jun 2009 10:28:34 -0700 | huffman | lemmas islimptI, islimptE; generalize open_inter_closure_subset | changeset | files |
Sat, 06 Jun 2009 09:11:12 -0700 | huffman | generalize tendsto to class topological_space | changeset | files |
Fri, 05 Jun 2009 15:59:20 -0700 | huffman | put syntax for tendsto in Limits.thy; rename variables | changeset | files |
Mon, 08 Jun 2009 09:22:47 +0200 | haftmann | constant "chars" of all characters | changeset | files |