TODO
changeset 15391 797ed46d724b
parent 15386 06757406d8cf
child 15412 7f373e478a5a
equal deleted inserted replaced
15390:87f78411f7c9 15391:797ed46d724b
    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):  
    16 - eliminate the last remaining old-style theories (Larry):  
    17   Datatype_Universe.ML
       
    18   HOL_lemmas.ML
    17   HOL_lemmas.ML
    19   NatArith.ML
    18   NatArith.ML
    20   Relation_Power.ML
    19   Relation_Power.ML
    21   Sum_Type.ML
       
    22   
    20   
    23 - update or remove ex/MT (Larry? Tobias?)  
    21 - update or remove ex/MT (Larry? Tobias?)  
    24 
    22 
    25 - remove this file (Tobias)
    23 - remove this file (Tobias)