1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Jun 03 09:56:24 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Jun 03 11:25:19 2020 +0200
     1.3 @@ -613,9 +613,6 @@
     1.4    !!add mutual crossreferences to ?fun headline??? where the same has to be done:
     1.5    !!OR BETTER: use only 2 functions for adding/removing "'" to/from thy!!
     1.6    --------------------------------------------------------------------------------
     1.7 -  WN120409.TODO replace "op mem" (2002) with Library.member (2011) ... 
     1.8 -  ... an exercise interesting for beginners !
     1.9 -  --------------------------------------------------------------------------------
    1.10    WN120411 scanning html representation of newly generated knowledge:
    1.11    * thy:
    1.12    ** Theorems: only "Proof of the theorem" (correct!)