src/HOL/Fact.thy

--- a/src/HOL/Fact.thy	Thu Sep 10 15:23:09 2009 +0200
+++ b/src/HOL/Fact.thy	Thu Sep 10 15:26:51 2009 +0200
@@ -8,7 +8,7 @@
 header{*Factorial Function*}
 
 theory Fact
-imports NatTransfer
+imports Nat_Transfer
 begin
 
 class fact =