diff -r 79e5b6eec425 -r f5d9bceb4dc0 src/Doc/isac/jrocnik/Test_Integral.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/isac/jrocnik/Test_Integral.thy	Sun Jul 14 14:48:14 2013 +0200
@@ -0,0 +1,17 @@
+(*
+doc-src/isac/jrocnik$ /usr/local/isabisac/bin/isabelle jedit Test_Integral.thy &
+*)
+
+theory Test_Integral imports "../../../src/HOL/Multivariate_Analysis/Integration"
+Integration begin
+
+ML {*
+@{term "Integral s f k"}
+*}
+ML {*
+*}
+ML {*
+*}
+
+end
+