equal
deleted
inserted
replaced
530 store_pbt |
530 store_pbt |
531 (prep_pbt thy "pbl_test_uni" [] e_pblID |
531 (prep_pbt thy "pbl_test_uni" [] e_pblID |
532 (["univariate","equation","test"], |
532 (["univariate","equation","test"], |
533 [("#Given" ,["equality e_e","solveFor v_v"]), |
533 [("#Given" ,["equality e_e","solveFor v_v"]), |
534 ("#Where" ,["matches (?a = ?b) e_e"]), |
534 ("#Where" ,["matches (?a = ?b) e_e"]), |
535 ("#Find" ,["solutions v'i'"]) |
535 ("#Find" ,["solutions v_v'i'"]) |
536 ], |
536 ], |
537 assoc_rls "matches", |
537 assoc_rls "matches", |
538 SOME "solve (e_e::bool, v_v)", [])); |
538 SOME "solve (e_e::bool, v_v)", [])); |
539 |
539 |
540 store_pbt |
540 store_pbt |