equal
deleted
inserted
replaced
537 |
537 |
538 (* show_ptyps(); |
538 (* show_ptyps(); |
539 *) |
539 *) |
540 |
540 |
541 *} |
541 *} |
542 setup {* KEStore_Elems.store_pbts |
542 setup {* KEStore_Elems.add_pbts |
543 [(prep_pbt thy "pbl_equsys" [] e_pblID |
543 [(prep_pbt thy "pbl_equsys" [] e_pblID |
544 (["system"], |
544 (["system"], |
545 [("#Given" ,["equalities e_s", "solveForVars v_s"]), |
545 [("#Given" ,["equalities e_s", "solveForVars v_s"]), |
546 ("#Find" ,["solution ss'''"](*''' is copy-named*))], |
546 ("#Find" ,["solution ss'''"](*''' is copy-named*))], |
547 append_rls "e_rls" e_rls [(*for preds in where_*)], SOME "solveSystem e_s v_s", [])), |
547 append_rls "e_rls" e_rls [(*for preds in where_*)], SOME "solveSystem e_s v_s", [])), |