1.1 --- a/.hgignore	Thu Mar 10 15:12:55 2011 +0100
     1.2 +++ b/.hgignore	Thu Mar 10 15:16:13 2011 +0100
     1.3 @@ -7,7 +7,6 @@
     1.4  
     1.5  *.tgz
     1.6  *.orig
     1.7 -*.ps
     1.8  
     1.9  syntax: regexp
    1.10  

     2.1 --- a/src/Tools/isac/Knowledge/DiophantEq.thy	Thu Mar 10 15:12:55 2011 +0100
     2.2 +++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Thu Mar 10 15:16:13 2011 +0100
     2.3 @@ -38,7 +38,7 @@
     2.4  ML {*
     2.5  rewrite_inst_ thy e_rew_ord e_rls true subst (@{thm "int_isolate_add"}) t;
     2.6  
     2.7 -
     2.8 + 
     2.9  *}
    2.10  
    2.11  ML {*