1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Apr 27 16:40:11 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Apr 28 15:31:49 2020 +0200
     1.3 @@ -610,7 +610,7 @@
     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 member (2011) ... 
     1.8 +  WN120409.TODO replace "op mem" (2002) with Library.member (2011) ... 
     1.9    ... an exercise interesting for beginners !
    1.10    --------------------------------------------------------------------------------
    1.11    WN120411 scanning html representation of newly generated knowledge: