changeset 35700 | 951974ce903e |
parent 35617 | a6528fb99641 |
child 35706 | 8305122d0350 |
--- a/src/HOL/IsaMakefile Wed Mar 10 19:21:59 2010 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 10 14:57:13 2010 -0800 @@ -415,6 +415,7 @@ Library/Enum.thy Library/Float.thy Library/Quotient_List.thy \ Library/Quotient_Option.thy Library/Quotient_Product.thy \ Library/Quotient_Sum.thy Library/Quotient_Syntax.thy \ + Library/Nat_Bijection.thy \ $(SRC)/Tools/float.ML \ $(SRC)/HOL/Tools/float_arith.ML Library/positivstellensatz.ML \ Library/reify_data.ML Library/reflection.ML Library/LaTeXsugar.thy \