1.1 --- a/TODO.md	Tue Jul 26 22:11:41 2022 +0200
     1.2 +++ b/TODO.md	Tue Jul 26 22:29:35 2022 +0200
     1.3 @@ -97,4 +97,13 @@
     1.4      - this proposal presumable involves hacking of parsers -- is there a better way?
     1.5      - implementation and tests have solution for (a) above as a prerequisite.
     1.6  
     1.7 +* WN: rename in Formalise: type spec = Model_Def.form_spec;
     1.8 +                           type refs = Model_Def.form_refs;
     1.9 +* WN: rename in Know_Store: get_ptyps, add_pbts
    1.10 +                            get_pbls,  add_pbls
    1.11 +* WN: rename in References_Def: select
    1.12 +                                select_new
    1.13 +* WN: as soon as parsing in Outer_Syntax.command..‹Example› works, implement in Calculation
    1.14 +  - init_ctree, update_status, check_input
    1.15  
    1.16 +