equal
deleted
inserted
replaced
75 [("#Given" ,["unsorted u_"]), |
75 [("#Given" ,["unsorted u_"]), |
76 ("#Find" ,["sorted s_"]) |
76 ("#Find" ,["sorted s_"]) |
77 ], |
77 ], |
78 [])); |
78 [])); |
79 *} |
79 *} |
80 setup {* KEStore_Elems.store_pbts |
80 setup {* KEStore_Elems.add_pbts |
81 [(prep_pbt @{theory "InsSort"} |
81 [(prep_pbt @{theory "InsSort"} |
82 (["functional"]:pblID, |
82 (["functional"]:pblID, |
83 [("#Given" ,["unsorted u_"]), ("#Find" ,["sorted s_"])], [])), |
83 [("#Given" ,["unsorted u_"]), ("#Find" ,["sorted s_"])], [])), |
84 (prep_pbt @{theory "InsSort"} |
84 (prep_pbt @{theory "InsSort"} |
85 (["inssort","functional"]:pblID, |
85 (["inssort","functional"]:pblID, |