# HG changeset patch
# User haftmann
# Date 1277964775 -7200
# Node ID 35c060043a5a0ebf66a3557073f68c503036eaaa
# Parent  f6b592f2aca4c10f5552eced86a1407e282cf317
repaired line ending

diff -r f6b592f2aca4 -r 35c060043a5a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jul 01 08:12:40 2010 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 01 08:12:55 2010 +0200
@@ -398,7 +398,7 @@
   $(SRC)/Tools/float.ML Library/Abstract_Rat.thy Library/AssocList.thy	\
   Library/BigO.thy Library/Binomial.thy Library/Bit.thy			\
   Library/Boolean_Algebra.thy Library/Cardinality.thy			\
-  Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	
+  Library/Char_nat.thy Library/Code_Char.thy Library/Code_Char_chr.thy	\
   Library/Code_Integer.thy Library/ContNotDenum.thy			\
   Library/Continuity.thy Library/Convex.thy Library/Countable.thy	\
   Library/Diagonalize.thy Library/Dlist.thy Library/Efficient_Nat.thy	\