TODO
author nipkow
Thu Dec 09 18:30:59 2004 +0100 (2004-12-09)
changeset 15392 290bc97038c7
parent 15391 797ed46d724b
child 15412 7f373e478a5a
permissions -rw-r--r--
First step in reorganizing Finite_Set
     1 For Isabelle2005:
     2 
     3 - update course material slides to new theory format (Tobias)
     4 
     5 - modular generation of ML code with structures (Stefan)
     6 
     7 - finding rewrite rules based on PG subterm selection (Tobias)
     8 
     9 - a global "disprove" menu item both as an action and (if it can be done)
    10   as a setting (Stefan & Tjark)
    11 
    12 - check/establish conformity of HTML files to (some version of) the HTML
    13   language specification (cf. http://validator.w3.org/) (Tjark, or anyone
    14   who is interested)
    15 
    16 - eliminate the last remaining old-style theories (Larry):  
    17   HOL_lemmas.ML
    18   NatArith.ML
    19   Relation_Power.ML
    20   
    21 - update or remove ex/MT (Larry? Tobias?)  
    22 
    23 - remove this file (Tobias)