1.1 --- a/src/smltest/IsacKnowledge/rational.sml	Fri Jul 28 18:54:58 2006 +0200
     1.2 +++ b/src/smltest/IsacKnowledge/rational.sml	Wed Aug 23 09:15:43 2006 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  (*.tests for rationals
     1.5 -   author: Stefan Karnel 2002
     1.6 -   (c) isac-team
     1.7 +   author: Stefan Karnel
     1.8 +   Copyright (c) Stefan Karnel 2002
     1.9 +   Use is subject to license terms.
    1.10     
    1.11  use"../smltest/IsacKnowledge/rational.sml";
    1.12  use"rational.sml";