TODO
changeset 16164 6b0d68207c14
parent 16119 c0916ed7b8e9
child 16930 8d0daa50f381
equal deleted inserted replaced
16163:a9f460f16fd6 16164:6b0d68207c14
    17 
    17 
    18 - update or remove ex/MT (Larry)  
    18 - update or remove ex/MT (Larry)  
    19 
    19 
    20 - Include IsaPlanner? (Larry to co-ordinate)
    20 - Include IsaPlanner? (Larry to co-ordinate)
    21 
    21 
    22 - update LaTeXsugar, remove references to future Isabelle2005 etc. (Gerwin)
       
    23 
       
    24 - rules -> iprover (Stefan)
    22 - rules -> iprover (Stefan)
    25 
    23 
    26 - ball, bex and setsum congruence rules (Tobias & Stefan)
    24 - ball, bex and setsum congruence rules (Tobias & Stefan)
    27 
    25 
    28 - remove this file (Tobias)
    26 - remove this file (Tobias)