1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-isac/jrocnik/Test_Integral.thy	Tue Sep 17 09:50:52 2013 +0200
     1.3 @@ -0,0 +1,17 @@
     1.4 +(*
     1.5 +doc-src/isac/jrocnik$ /usr/local/isabisac/bin/isabelle jedit Test_Integral.thy &
     1.6 +*)
     1.7 +
     1.8 +theory Test_Integral imports "../../../src/HOL/Multivariate_Analysis/Integration"
     1.9 +Integration begin
    1.10 +
    1.11 +ML {*
    1.12 +@{term "Integral s f k"}
    1.13 +*}
    1.14 +ML {*
    1.15 +*}
    1.16 +ML {*
    1.17 +*}
    1.18 +
    1.19 +end
    1.20 +