panny [Sat, 15 Mar 2014 03:37:22 +0100] rev 56153
merge
panny [Sat, 15 Mar 2014 01:36:38 +0100] rev 56152
add error messages for invalid inputs
huffman [Fri, 14 Mar 2014 13:27:38 -0700] rev 56151
add lemmas about nhds filter; tuned proof
huffman [Fri, 14 Mar 2014 10:59:43 -0700] rev 56150
remove unused lemma which was a direct consequence of tendsto_intros
wenzelm [Fri, 14 Mar 2014 19:15:50 +0100] rev 56149
merged
wenzelm [Fri, 14 Mar 2014 17:32:11 +0100] rev 56148
merged
wenzelm [Fri, 14 Mar 2014 16:54:01 +0100] rev 56147
prefer more robust Synchronized.var;
wenzelm [Fri, 14 Mar 2014 15:41:29 +0100] rev 56146
discontinued somewhat pointless "thy_script" keyword kind;
wenzelm [Fri, 14 Mar 2014 15:26:52 +0100] rev 56145
conceal improper cases, e.g. relevant for completion (and potentially for markup);
wenzelm [Fri, 14 Mar 2014 15:12:22 +0100] rev 56144
conceal somewhat obscure internal facts, e.g. relevant for 'print_theorems', 'find_theorems';