changeset 52056 | f5d9bceb4dc0 |
parent 42081 | b5a91fb4330c |
48899:79e5b6eec425 | 52056:f5d9bceb4dc0 |
---|---|
1 (* |
|
2 doc-src/isac/jrocnik$ /usr/local/isabisac/bin/isabelle jedit Test_Integral.thy & |
|
3 *) |
|
4 |
|
5 theory Test_Integral imports "../../../src/HOL/Multivariate_Analysis/Integration" |
|
6 Integration begin |
|
7 |
|
8 ML {* |
|
9 @{term "Integral s f k"} |
|
10 *} |
|
11 ML {* |
|
12 *} |
|
13 ML {* |
|
14 *} |
|
15 |
|
16 end |
|
17 |