neuper@42081: (*
neuper@42081: doc-src/isac/jrocnik$ /usr/local/isabisac/bin/isabelle jedit Test_Integral.thy &
neuper@42081: *)
neuper@42081: 
neuper@42081: theory Test_Integral imports "../../../src/HOL/Multivariate_Analysis/Integration"
neuper@42081: Integration begin
neuper@42081: 
neuper@42081: ML {*
neuper@42081: @{term "Integral s f k"}
neuper@42081: *}
neuper@42081: ML {*
neuper@42081: *}
neuper@42081: ML {*
neuper@42081: *}
neuper@42081: 
neuper@42081: end
neuper@42081: