1.1 --- a/src/Tools/isac/Specify/p-model.sml	Wed Mar 08 17:47:07 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/p-model.sml	Fri Mar 31 12:07:52 2023 +0200
     1.3 @@ -25,6 +25,8 @@
     1.4  
     1.5    val item_from_feedback: theory -> I_Model.feedback -> item
     1.6  (*from isac_test for Minisubpbl*)
     1.7 +  val add_sel_ppc: theory -> string -> {Find: 'a list, Given: 'a list, Relate: 'a list, Where: 'a list, With: 'b} -> 'a -> {Find: 'a list, Given: 'a list, Relate: 'a list, Where: 'a list, With: 'b}
     1.8 +
     1.9  (**)
    1.10  
    1.11  \<^isac_test>\<open>