diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/jrocnik/Test_Integral.thy
--- a/src/Doc/isac/jrocnik/Test_Integral.thy	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-(*
-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
-