himmelma [Wed, 17 Feb 2010 18:33:45 +0100] rev 35172
Added integration to Multivariate-Analysis (upto FTC)
hoelzl [Wed, 17 Feb 2010 17:57:37 +0100] rev 35171
Moved setprod_mono, abs_setprod and setsum_le_included to the Main image. Is used in Multivariate_Analysis.
huffman [Wed, 17 Feb 2010 09:22:40 -0800] rev 35170
fix looping simp rule
huffman [Wed, 17 Feb 2010 09:08:58 -0800] rev 35169
fix warnings about duplicate simp rules
huffman [Wed, 17 Feb 2010 08:19:46 -0800] rev 35168
fix warnings about duplicate simp rules
huffman [Wed, 17 Feb 2010 08:05:16 -0800] rev 35167
add theory HOLCF/ex/Strict_Fun.thy
haftmann [Wed, 17 Feb 2010 13:48:13 +0100] rev 35166
tuned primrec signature: return definienda
haftmann [Wed, 17 Feb 2010 11:21:59 +0100] rev 35165
merged
haftmann [Wed, 17 Feb 2010 11:21:47 +0100] rev 35164
example for executable choice
haftmann [Wed, 17 Feb 2010 10:43:20 +0100] rev 35163
added simple theory about discrete summation