diff -r 3e904f8ec16c -r 28b67cae58c3 src/Tools/isac/Knowledge/DiophantEq.thy
--- a/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Nov 21 12:32:54 2018 +0100
+++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Wed Nov 28 11:46:00 2018 +0100
@@ -30,7 +30,7 @@
 
 text \<open>method solving the usecase\<close>
 setup \<open>KEStore_Elems.add_mets
-  [Specify.prep_met thy "met_test_diophant" [] Celem.e_metID
+    [Specify.prep_met thy "met_test_diophant" [] Celem.e_metID
       (["Test","solve_diophant"],
         [("#Given" ,["boolTestGiven e_e","intTestGiven (v_v::int)"]),
           (*                                      TODO: drop ^^^^^*)