FIXME-TODO
changeset 952 9c3b3eaecaff
parent 921 dae038c8cd69
child 1097 551eacf071d7
equal deleted inserted replaced
951:62f0344b219c 952:9c3b3eaecaff
     1 Highest Priority
     1 Highest Priority
     2 ================
     2 ================
       
     3 
       
     4 - give examples for the new quantifier translations in regularization
       
     5   (quotient_term.ML)
       
     6 
     3 
     7 
     4 Higher Priority
     8 Higher Priority
     5 ===============
     9 ===============
     6 
    10 
     7 - Ask Markus how the files Quot* should be named.
    11 - Ask Markus how the files Quot* should be named.