TODO
changeset 15330 630981482718
parent 15317 ebdd193e15ec
child 15346 ac272926fb77
equal deleted inserted replaced
15329:bd94b0a71dd2 15330:630981482718
    11 
    11 
    12 - check/establish conformity of HTML files to (some version of) the HTML
    12 - check/establish conformity of HTML files to (some version of) the HTML
    13   language specification (cf. http://validator.w3.org/) (Tjark, or anyone
    13   language specification (cf. http://validator.w3.org/) (Tjark, or anyone
    14   who is interested)
    14   who is interested)
    15 
    15 
       
    16 - eliminate the last remaining old-style theories (Larry):  
       
    17   Datatype_Universe.ML
       
    18   Gfp.ML
       
    19   HOL_lemmas.ML
       
    20   Lfp.ML
       
    21   NatArith.ML
       
    22   Relation_Power.ML
       
    23   Sum_Type.ML
       
    24   Wellfounded_Recursion.ML
       
    25   Wellfounded_Relations.ML
       
    26 
    16 - remove this file (Tobias)
    27 - remove this file (Tobias)