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