| Mon, 19 Dec 2011 13:58:54 +0100 | hoelzl | isarfied proof; add log to DERIV_intros | changeset | files |
| Thu, 15 Dec 2011 17:21:29 +0100 | huffman | tendsto lemmas for ln and powr | changeset | files |
| Sun, 18 Dec 2011 14:28:14 +0100 | wenzelm | tuned settings; | changeset | files |
| Sat, 17 Dec 2011 16:24:14 +0100 | wenzelm | updated jedit_build component; | changeset | files |