1.1 --- a/TODO.md	Thu Apr 22 21:34:20 2021 +0200
     1.2 +++ b/TODO.md	Sat Apr 24 15:59:54 2021 +0200
     1.3 @@ -3,11 +3,9 @@
     1.4      - or more basic try/can combinators;
     1.5      - or more direct ML of intention;
     1.6  
     1.7 -* WN: purge BridgeLibisabelle: eliminate unused code;
     1.8 -
     1.9 -
    1.10  * reconsider use of Thy_Info.get_theory: only works with batch-build, not within PIDE session;
    1.11 -
    1.12 +  + consider in Build_Thydata:  Thy_Hierarchy.insert_errpatIDs
    1.13 +  + consider in Biegelinie.thy: KEStore_Elems.add_thes, 
    1.14  
    1.15  * MW: ML antiqutation @{rule_thm NAME} to produce (Rule.Thm ("NAME", ThmC.numerals_to_Free "NAME"));
    1.16