1.1 --- a/src/Tools/isac/Specify/refine.sml Sun Apr 18 22:27:43 2021 +0200
1.2 +++ b/src/Tools/isac/Specify/refine.sml Sun Apr 18 23:37:59 2021 +0200
1.3 @@ -12,14 +12,13 @@
1.4 val refine_ori : O_Model.T -> Problem.id -> Problem.id option
1.5 val refine_ori' : O_Model.T -> Problem.id -> Problem.id
1.6
1.7 -(* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
1.8 +\<^isac_test>\<open>
1.9 val refine : Formalise.model -> Problem.id -> M_Match.T list
1.10 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
1.11 datatype match_ = Match_ of Problem.id * (( I_Model.T) * (Pre_Conds.T)) | NoMatch_;
1.12 val refined_: match_ list -> match_ option
1.13 val refin'': theory -> Problem.id -> I_Model.T -> match_ list -> Probl_Def.T Store.node -> match_ list
1.14 val refins'': theory -> Problem.id -> I_Model.T -> match_ list -> Probl_Def.T Store.node list -> match_ list
1.15 -( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
1.16 +\<close>
1.17 end
1.18
1.19 (**)