Fri, 02 Sep 2011 14:43:20 +0200 | blanchet | use new syntax for Pi binder in TFF1 output | changeset | files |
Fri, 02 Sep 2011 14:43:20 +0200 | blanchet | fewer TPTP important messages | changeset | files |
Thu, 01 Sep 2011 10:41:19 -0700 | huffman | simplify some proofs about uniform continuity, and add some new ones; | changeset | files |
Thu, 01 Sep 2011 09:02:14 -0700 | huffman | modernize lemmas about 'continuous' and 'continuous_on'; | changeset | files |
Thu, 01 Sep 2011 07:31:33 -0700 | huffman | add lemma tendsto_infnorm | changeset | files |
Fri, 02 Sep 2011 15:21:40 +0200 | wenzelm | more precise iterate_entries_after if start refers to last entry; | changeset | files |
Fri, 02 Sep 2011 11:52:13 +0200 | wenzelm | clarified define_command: store name as structural information; | changeset | files |