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 |
Thu, 01 Sep 2011 23:08:42 +0200 | wenzelm | amended last_common, if that happens to the very last entry (important to load HOL/Auth, for example); | changeset | files |
Thu, 01 Sep 2011 22:29:57 +0200 | wenzelm | more redable Document.Node.toString; | changeset | files |
Thu, 01 Sep 2011 16:58:41 +0200 | wenzelm | sort wrt. theory name; | changeset | files |