
diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/jrocnik/Test_Integral.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/jrocnik/Test_Integral.thy	Tue Sep 17 09:50:52 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
+




