diff -r 3dee3ec06f54 -r 54642eaf7bba TODO.md
--- a/TODO.md	Wed Jul 27 13:11:43 2022 +0200
+++ b/TODO.md	Wed Jul 27 13:59:58 2022 +0200
@@ -99,7 +99,7 @@
 
 * WN: rename in Formalise: type spec = Model_Def.form_spec;
                            type refs = Model_Def.form_refs;
-* WN: rename in Know_Store: get_ptyps, add_pbts
+* WN: rename in Know_Store: get_ptyps, add_pbls
                             get_pbls,  add_pbls
 * WN: as soon as parsing in Outer_Syntax.command..‹Example› works, implement in Calculation
   - init_ctree, update_status, check_input