wenzelm [Sat, 27 Dec 2008 14:57:30 +0100] rev 29174
proper class IsabelleSystem -- no longer static;
tuned;
wenzelm [Sat, 27 Dec 2008 11:54:08 +0100] rev 29173
PATH: /opt/local/bin is back again (required for latex etc.);
huffman [Wed, 24 Dec 2008 13:39:20 -0800] rev 29172
merged.
huffman [Wed, 24 Dec 2008 13:29:49 -0800] rev 29171
clean up lemmas about ln
huffman [Wed, 24 Dec 2008 13:16:26 -0800] rev 29170
clean up lemmas about exp
huffman [Wed, 24 Dec 2008 11:17:37 -0800] rev 29169
more proofs about differentiable
huffman [Wed, 24 Dec 2008 09:26:18 -0800] rev 29168
use less_iff_Suc_add instead of less_add_one
huffman [Wed, 24 Dec 2008 08:40:16 -0800] rev 29167
rearranged subsections; cleaned up some proofs
huffman [Wed, 24 Dec 2008 08:16:45 -0800] rev 29166
move theorems about limits from Transcendental.thy to Deriv.thy
huffman [Wed, 24 Dec 2008 08:06:27 -0800] rev 29165
cleaned up some proofs; removed redundant simp rules