1.1 --- a/TODO.md	Wed Jul 27 13:11:43 2022 +0200
     1.2 +++ b/TODO.md	Wed Jul 27 13:59:58 2022 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4  
     1.5  * WN: rename in Formalise: type spec = Model_Def.form_spec;
     1.6                             type refs = Model_Def.form_refs;
     1.7 -* WN: rename in Know_Store: get_ptyps, add_pbts
     1.8 +* WN: rename in Know_Store: get_ptyps, add_pbls
     1.9                              get_pbls,  add_pbls
    1.10  * WN: as soon as parsing in Outer_Syntax.command..‹Example› works, implement in Calculation
    1.11    - init_ctree, update_status, check_input