TODO
changeset 15346 ac272926fb77
parent 15330 630981482718
child 15386 06757406d8cf
equal deleted inserted replaced
15345:3a5c538644ed 15346:ac272926fb77
    19   HOL_lemmas.ML
    19   HOL_lemmas.ML
    20   Lfp.ML
    20   Lfp.ML
    21   NatArith.ML
    21   NatArith.ML
    22   Relation_Power.ML
    22   Relation_Power.ML
    23   Sum_Type.ML
    23   Sum_Type.ML
    24   Wellfounded_Recursion.ML
       
    25   Wellfounded_Relations.ML
       
    26 
    24 
    27 - remove this file (Tobias)
    25 - remove this file (Tobias)