src/HOLCF/IOA/meta_theory/RefMappings.ML
changeset 4477 b3e5857d8d99
parent 4423 a129b817b58a
child 4559 8e604d885b54
     1.1 --- a/src/HOLCF/IOA/meta_theory/RefMappings.ML	Tue Dec 23 11:56:09 1997 +0100
     1.2 +++ b/src/HOLCF/IOA/meta_theory/RefMappings.ML	Wed Dec 24 10:02:30 1997 +0100
     1.3 @@ -136,7 +136,7 @@
     1.4  by (rtac impI 1);
     1.5  by (etac conjE 1);
     1.6  by (forward_tac  [reachable_rename] 1);
     1.7 -by (Auto_tac());
     1.8 +by Auto_tac;
     1.9  qed"rename_through_pmap";
    1.10  
    1.11