src/HOL/Library/Library.thy
changeset 29836 3d935e8b0bf7
parent 29823 0ab754d13ccd
child 29845 5ef75225c9c2
     1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 09 11:07:17 2009 +0000
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 09 11:15:13 2009 +0000
     1.3 @@ -19,6 +19,7 @@
     1.4    Enum
     1.5    Eval_Witness
     1.6    Executable_Set
     1.7 +  Finite_Cartesian_Product
     1.8    Float
     1.9    Formal_Power_Series
    1.10    FuncSet