1.1 --- a/src/Pure/isac/Isac_Mathengine.thy	Thu Aug 05 14:15:25 2010 +0200
     1.2 +++ b/src/Pure/isac/Isac_Mathengine.thy	Thu Aug 05 14:17:16 2010 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  OR tty (unusable: after errors wrong toplevel):
     1.5  $ cd "/home/neuper/proto2/isac/src/sml"
     1.6  $ isabelle-process HOL HOL-Isac
     1.7 -ML> use_thy "Isac_Mathengine";
     1.8 +ML> use_thy "Isac_Mathengine"; 
     1.9  *)
    1.10  
    1.11  header {* Loading the isac mathengine *}