1.1 --- a/test/Tools/isac/Knowledge/rational-2.sml	Tue Jun 21 13:51:04 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rational-2.sml	Tue Jun 21 16:04:43 2022 +0200
     1.3 @@ -210,7 +210,7 @@
     1.4  asms = [@{term False}]                ; (* = false*)
     1.5  "~~~~~ fun chk, args:"; val (indets, (a::asms)) = ([], asms);
     1.6  bdv (*= []: _a list*);
     1.7 -val bdv : (term * term) list = [];
     1.8 +val bdv : Subst.T = [];
     1.9  rewrite__set_ thy (i+1) false;
    1.10  UnparseC.term a = "?r is_expanded"; (*hier m"usste doch der Numerator eingesetzt sein ??????????????*)
    1.11  val SOME (Const (\<^const_name>\<open>False\<close>, _), []) = rewrite__set_ thy (i+1) false bdv rls a