huffman [Mon, 05 Jul 2010 09:12:35 -0700] rev 37730
section -> subsection
huffman [Sun, 04 Jul 2010 09:26:30 -0700] rev 37729
generalize some lemmas about derivatives
huffman [Sun, 04 Jul 2010 09:25:17 -0700] rev 37728
uniqueness of Frechet derivative
wenzelm [Tue, 06 Jul 2010 10:02:24 +0200] rev 37727
merged
wenzelm [Mon, 05 Jul 2010 23:07:36 +0200] rev 37726
Outer_Syntax.prepare_command: disallow control commands here, and consequently in Isar documents;
wenzelm [Mon, 05 Jul 2010 22:26:20 +0200] rev 37725
specific ML_val vs. ML_command;
wenzelm [Mon, 05 Jul 2010 20:36:39 +0200] rev 37724
async_state: report within proper transaction context;
haftmann [Tue, 06 Jul 2010 09:27:49 +0200] rev 37723
even more fun with primrec
haftmann [Tue, 06 Jul 2010 09:21:15 +0200] rev 37722
refactored reference operations
haftmann [Tue, 06 Jul 2010 09:21:13 +0200] rev 37721
tuned