src/HOLCF/Cfun1.ML
changeset 752 b89462f9d5f1
parent 243 c22b85994e17
child 892 d0dc8d057929
     1.1 --- a/src/HOLCF/Cfun1.ML	Fri Nov 25 11:13:55 1994 +0100
     1.2 +++ b/src/HOLCF/Cfun1.ML	Mon Nov 28 19:48:30 1994 +0100
     1.3 @@ -120,10 +120,3 @@
     1.4  	(atac 1)
     1.5  	]);
     1.6  
     1.7 -(* ------------------------------------------------------------------------ *)
     1.8 -(* load ML file cinfix.ML                                                   *)
     1.9 -(* ------------------------------------------------------------------------ *)
    1.10 -
    1.11 -
    1.12 - writeln "Reading file  cinfix.ML"; 
    1.13 -use "cinfix.ML";