added Crude_Executable_Set.thy
authorhaftmann
Wed Dec 02 17:53:34 2009 +0100 (2009-12-02)
changeset 339387ed48b28bb7f
parent 33936 6e77ca6d3a8f
child 33939 fcb50b497763
added Crude_Executable_Set.thy
src/HOL/IsaMakefile
src/HOL/Library/Library.thy
     1.1 --- a/src/HOL/IsaMakefile	Sun Nov 29 12:56:30 2009 +1100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Dec 02 17:53:34 2009 +0100
     1.3 @@ -369,6 +369,7 @@
     1.4    Library/Sum_Of_Squares/sos_wrapper.ML					\
     1.5    Library/Sum_Of_Squares/sum_of_squares.ML Library/Fset.thy		\
     1.6    Library/Glbs.thy Library/normarith.ML Library/Executable_Set.thy	\
     1.7 +  Library/Crude_Executable_Set.thy					\
     1.8    Library/Infinite_Set.thy Library/FuncSet.thy				\
     1.9    Library/Permutations.thy Library/Bit.thy Library/FrechetDeriv.thy	\
    1.10    Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy	\
    1.11 @@ -381,9 +382,9 @@
    1.12    Library/Order_Relation.thy Library/Nested_Environment.thy		\
    1.13    Library/Ramsey.thy Library/Zorn.thy Library/Library/ROOT.ML		\
    1.14    Library/Library/document/root.tex Library/Library/document/root.bib	\
    1.15 -  Library/Transitive_Closure_Table.thy Library/While_Combinator.thy \
    1.16 -  Library/Product_ord.thy	Library/Char_nat.thy \
    1.17 -  Library/Char_ord.thy Library/Option_ord.thy	\
    1.18 +  Library/Transitive_Closure_Table.thy Library/While_Combinator.thy	\
    1.19 +  Library/Product_ord.thy Library/Char_nat.thy				\
    1.20 +  Library/Char_ord.thy Library/Option_ord.thy				\
    1.21    Library/Sublist_Order.thy Library/List_lexord.thy			\
    1.22    Library/Coinductive_List.thy Library/AssocList.thy			\
    1.23    Library/Formal_Power_Series.thy Library/Binomial.thy			\
     2.1 --- a/src/HOL/Library/Library.thy	Sun Nov 29 12:56:30 2009 +1100
     2.2 +++ b/src/HOL/Library/Library.thy	Wed Dec 02 17:53:34 2009 +0100
     2.3 @@ -14,6 +14,7 @@
     2.4    Continuity
     2.5    ContNotDenum
     2.6    Countable
     2.7 +  Crude_Executable_Set
     2.8    Diagonalize
     2.9    Efficient_Nat
    2.10    Enum