Index: doc/theses/fangren_yu_MMath/test.adb
===================================================================
--- doc/theses/fangren_yu_MMath/test.adb	(revision 86044927627432425f35a56d7222b6ae88db4af7)
+++ doc/theses/fangren_yu_MMath/test.adb	(revision 822ae489c53ab6d240764db1c798c0f2a992ed59)
@@ -6,88 +6,88 @@
 	Function Random return Float is begin return 3.5; end;
 	Function Random return Unbounded_String is begin return To_Unbounded_String( "abc" ); end;
-	
+
 	Procedure Print( V : Integer ) is begin Put_Line( Integer'Image(V) ); end;
 	Procedure Print( V : Float ) is begin Put_Line( Float'Image(V) ); end;
 	Procedure Print( V : Unbounded_String ) is begin Put_Line( Ada.Strings.Unbounded.To_String(V) ); end;
-	
+
 	Function Func( V : Integer ) return Integer is begin return V; end;
 	Function Func( V : Float ) return Float is begin return V; end;
 	Function Func( V : Unbounded_String ) return Unbounded_String is begin return V; end;
 	Function Func( V1 : Integer; V2 : Float ) return Float is begin return Float(V1) + V2; end;
-	
-	subtype Int       is Integer;
+
+	subtype Int		 is Integer;
 	J : Int;
 	Function "-"( L, R : Int ) return Int is begin Put_Line( "X" ); return Integer(L) + (-Integer(R)); end; --  prevent infinite recusion
-	
---	duplicate body for "-" declared at line 20
---	subtype SInt is Integer range -10 .. 10;
---	Function "-"( L, R : SInt ) return SInt is begin Put_Line( "X" ); return Integer(L) + (-Integer(R)); end; --  prevent infinite recusion
-	
+
+	--	duplicate body for "-" declared at line 20
+	--	subtype SInt is Integer range -10 .. 10;
+	--	Function "-"( L, R : SInt ) return SInt is begin Put_Line( "X" ); return Integer(L) + (-Integer(R)); end; --  prevent infinite recusion
+
 	i : Integer;
 	f : Float;
 	s : Unbounded_String;
-	
+
 	Type Complex is
-        record
-            Re, Im : Float;
-        end record;
+		record
+		 Re, Im : Float;
+		end record;
 	c : Complex := (Re => 1.0, Im => 1.0);
-    Procedure Grind (X : Complex) is begin Put_Line( "Grind1" ); end;
-    Procedure Grind (X : Unbounded_String) is begin Put_Line( "Grind2" ); end;
-	
+	Procedure Grind (X : Complex) is begin Put_Line( "Grind1" ); end;
+	Procedure Grind (X : Unbounded_String) is begin Put_Line( "Grind2" ); end;
+
 	generic
-	   type T is private;
-	   with function "+"( X, Y: T ) return T;
+		type T is private;
+		with function "+"( X, Y: T ) return T;
 	function twice( X : T ) return T;
-	
+
 	function twice( X: T ) return T is
 	begin
-	   Put_Line( "XXX" ); return X + X;   -- The formal operator "*".
+		Put_Line( "XXX" ); return X + X;	-- The formal operator "*".
 	end twice;
 
 	function Int_Twice is new Twice( Integer, "+" => "+" );
 	function float_Twice is new Twice( float, "+" => "+" );
-	
---	generic units cannot be overloaded
---	generic
---	  type T is private;
---	  with function "+"( X, Y: T ) return T;
---	function twice( X : T; Y : T ) return T;
-	
---	function twice( X: T; Y : T ) return T is
---	begin
---	  Put_Line( "XXX" ); return X + X;   -- The formal operator "*".
---	end twice;
+
+	--	generic units cannot be overloaded
+	--	generic
+	--		type T is private;
+	--		with function "+"( X, Y: T ) return T;
+	--	function twice( X : T; Y : T ) return T;
+
+	--	function twice( X: T; Y : T ) return T is
+	--	begin
+	--		Put_Line( "XXX" ); return X + X;	-- The formal operator "*".
+	--	end twice;
 begin
-   I := 3;
-   I := 7 - 3;
-   	Print( i );
-   F := 3.8;
-   I := 7 - 2;
-   	Print( i );
-   J := 7 - 3;
-   	Print( j );
-   
+	I := 3;
+	I := 7 - 3;
+	Print( i );
+	F := 3.8;
+	I := 7 - 2;
+	Print( i );
+	J := 7 - 3;
+	Print( j );
+
 	i := Random;
-   	Print( i );
+	Print( i );
 	f := Random;
-   	Print( f );
+	Print( f );
 	s := Random;
-   	Print( s );
-	
-   	Print( Func( V => 7 ) );
-   	Print( Func( 7.5 ) );
-   	Print( Func( To_Unbounded_String( "abc" ) ) );
-   	Print( Func( 3, 3.5 ) );
---   	Print( Func( 3, 3 ) );
-	
+	Print( s );
+
+	Print( Func( V => 7 ) );
+	Print( Func( 7.5 ) );
+	Print( Func( To_Unbounded_String( "abc" ) ) );
+	Print( Func( 3, 3.5 ) );
+	--		Print( Func( 3, 3 ) );
+
 	Grind( X => (Re => 1.0, Im => 1.0) );
 	Grind( c );
 	Grind( To_Unbounded_String( "abc" ) );
-	
+
 	i := Int_Twice( 2 );
 	Put_Line( Integer'Image(i) );
 	f := float_Twice( 2.5 );
-   	Print( f );
+	Print( f );
 end test;