TODO
author huffman
Fri Sep 16 20:30:44 2005 +0200 (2005-09-16)
changeset 17439 a358da1a0218
parent 16930 8d0daa50f381
child 17471 fa31452b9af6
permissions -rw-r--r--
add header
     1 For Isabelle2005:
     2 
     3 - update course material slides to new theory headers (Tobias)
     4 
     5 - attach additional ML code to consts_code section (Stefan)
     6 
     7 - modular generation of ML code with structures (Stefan)
     8 
     9 - Library/ExecutableSet.thy (Stefan)
    10 
    11 - a global "disprove" menu item both as an action and (if it can be done)
    12   as a setting (Stefan & Tjark)
    13 
    14 - convert fast_lin_arith.ML and cooper_dec.ML to use IntInf (Tobias)
    15 
    16 - update or remove ex/MT (Larry)  
    17 
    18 - Include IsaPlanner? (Larry to co-ordinate)
    19 
    20 - rules -> iprover (Stefan)
    21 
    22 - ball, bex and setsum congruence rules (Tobias & Stefan)
    23 
    24 - remove this file (Tobias)