1.1 --- a/src/Tools/isac/Build_Isac.thy	Thu Apr 05 17:08:48 2012 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Apr 10 09:31:21 2012 +0200
     1.3 @@ -72,4 +72,5 @@
     1.4  ML {* check_guhs_unique := false; *}
     1.5  ML {* tracing "**** isac kernel = math-engine + Knowledge complete ******" *}
     1.6  ML {* @{theory "Isac"} *}
     1.7 +ML {* ! isab_thm_thy *}
     1.8  end