1.1 --- a/src/Tools/isac/calcelems.sml	Thu Feb 28 12:38:15 2019 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Thu Feb 28 18:27:29 2019 +0100
     1.3 @@ -113,6 +113,7 @@
     1.4  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
     1.5      val knowthys: unit -> theory list
     1.6      val e_pbt: pbt
     1.7 +    val e_met: met
     1.8  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
     1.9  
    1.10  (*----- unused code, kept as hints to design ideas ---------------------------------------------*)