diff -r b2ff1902420f -r 06ec8abfd3bc src/Tools/isac/Knowledge/DiffApp-oldpbl.sml
--- a/src/Tools/isac/Knowledge/DiffApp-oldpbl.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/src/Tools/isac/Knowledge/DiffApp-oldpbl.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -330,7 +330,7 @@
 (*
 {given=[],where_=[],find=[],with_=[],relate=[]}: string model;
 val (SOME ct) = parse thy ;
-atomty thy (Thm.term_of ct);
+TermC.atom_trace_detail @{context} (Thm.term_of ct);
 *)
 
 
@@ -365,5 +365,5 @@
 (*
 {given=[],where_=[],find=[],with_=[],relate=[]}: string model;
 val (SOME ct) = parse thy ;
-atomty thy (Thm.term_of ct);
+TermC.atom_trace_detail @{context} (Thm.term_of ct);
 *)