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
kleing@15139
     1
For Isabelle2005:
kleing@15139
     2
nipkow@15310
     3
- update course material slides to new theory format (Tobias)
nipkow@15310
     4
nipkow@15310
     5
- modular generation of ML code with structures (Stefan)
kleing@15139
     6
nipkow@15310
     7
- finding rewrite rules based on PG subterm selection (Tobias)
nipkow@15310
     8
nipkow@15310
     9
- a global "disprove" menu item both as an action and (if it can be done)
nipkow@15310
    10
  as a setting (Stefan & Tjark)
nipkow@15310
    11
webertj@15317
    12
- check/establish conformity of HTML files to (some version of) the HTML
webertj@15317
    13
  language specification (cf. http://validator.w3.org/) (Tjark, or anyone
webertj@15317
    14
  who is interested)
webertj@15317
    15
paulson@15330
    16
- eliminate the last remaining old-style theories (Larry):  
paulson@15330
    17
  HOL_lemmas.ML
paulson@15330
    18
  NatArith.ML
paulson@15330
    19
  Relation_Power.ML
paulson@15386
    20
  
paulson@15386
    21
- update or remove ex/MT (Larry? Tobias?)  
paulson@15330
    22
nipkow@15310
    23
- remove this file (Tobias)