src/HOLCF/Fix.ML
changeset 4477 b3e5857d8d99
parent 4423 a129b817b58a
child 4720 c1b83b42f65a
     1.1 --- a/src/HOLCF/Fix.ML	Tue Dec 23 11:56:09 1997 +0100
     1.2 +++ b/src/HOLCF/Fix.ML	Wed Dec 24 10:02:30 1997 +0100
     1.3 @@ -414,7 +414,7 @@
     1.4  	(cut_facts_tac prems 1),
     1.5  	(rtac trans 1),
     1.6  	(stac unfold 1),
     1.7 -	(Auto_tac ())
     1.8 +	Auto_tac
     1.9  	]);
    1.10  
    1.11  (* ------------------------------------------------------------------------ *)