| changeset 52107 | f8845fc8f38d |
| parent 52056 | f5d9bceb4dc0 |
| 52106:7f3760f39bdc | 52107:f8845fc8f38d |
|---|---|
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 |