src/HOL/Library/Library.thy
changeset 17516 45164074dad4
parent 16966 37e34f315057
child 17633 7daaa7fe9c96
equal deleted inserted replaced
17515:830bc15e692c 17516:45164074dad4
    16   Quotient
    16   Quotient
    17   While_Combinator
    17   While_Combinator
    18   Word
    18   Word
    19   Zorn
    19   Zorn
    20   Char_ord
    20   Char_ord
       
    21   Commutative_Ring
    21 begin
    22 begin
    22 end
    23 end
    23 (*>*)
    24 (*>*)