TODO
changeset 16119 c0916ed7b8e9
parent 15965 f422f8283491
child 16164 6b0d68207c14
equal deleted inserted replaced
16118:921936bd8847 16119:c0916ed7b8e9
    23 
    23 
    24 - rules -> iprover (Stefan)
    24 - rules -> iprover (Stefan)
    25 
    25 
    26 - ball, bex and setsum congruence rules (Tobias & Stefan)
    26 - ball, bex and setsum congruence rules (Tobias & Stefan)
    27 
    27 
    28 - html generation: somtimes lemma names and whole lemmas are missing.
       
    29   See http://afp.sourceforge.net/browser_info/current/HOL/HOL-Complex/Integration/SetsumThms.html
       
    30   (Markus?)
       
    31 
       
    32 - Allow sorts in typedef:  typedef ('a::mysort)t = ...
       
    33   (low priority)
       
    34 
       
    35 - remove this file (Tobias)
    28 - remove this file (Tobias)