--- a/src/HOL/Tools/Sledgehammer/sledgehammer_minimize_isar.ML Tue Nov 19 18:34:04 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_minimize_isar.ML Tue Nov 19 18:38:25 2013 +0100
@@ -11,7 +11,7 @@
type isar_proof = Sledgehammer_Proof.isar_proof
val minimize_dependencies_and_remove_unrefed_steps :
bool -> preplay_interface -> isar_proof -> isar_proof
-end
+end;
structure Sledgehammer_Minimize_Isar : SLEDGEHAMMER_MINIMIZE_ISAR =
struct
@@ -105,4 +105,4 @@
snd (do_proof proof)
end
-end
+end;