src/HOL/Library/Library.thy
changeset 48028 a5377f6d9f14
parent 47232 e2f0176149d0
child 48188 dcfe2c92fc7c
     1.1 --- a/src/HOL/Library/Library.thy	Tue May 29 13:46:50 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 29 15:31:58 2012 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4    Countable
     1.5    Eval_Witness
     1.6    Extended_Nat
     1.7 +  FinFun
     1.8    Float
     1.9    Formal_Power_Series
    1.10    Fraction_Field