src/HOL/Statespace/StateFun.thy

--- a/src/HOL/Statespace/StateFun.thy	Sun Nov 11 20:29:07 2007 +0100
+++ b/src/HOL/Statespace/StateFun.thy	Mon Nov 12 11:07:22 2007 +0100
@@ -6,7 +6,6 @@
 header {* State Space Representation as Function \label{sec:StateFun}*}
 
 theory StateFun imports DistinctTreeProver 
-(*uses "state_space.ML" ("state_fun.ML")*)
 begin
 
 
@@ -109,7 +108,4 @@
   apply simp
   oops
 
-(*use "state_fun.ML"
-setup StateFun.setup
-*)
 end
\ No newline at end of file