ANNOUNCE
changeset 25197 7a169cfda866
parent 25148 9c9646c1080d
child 25213 48a1e80f5cdb
equal deleted inserted replaced
25196:0db9a16c0d3c 25197:7a169cfda866
    42 logical context.
    42 logical context.
    43 
    43 
    44 * Parallel loading of theories based on native multicore support in
    44 * Parallel loading of theories based on native multicore support in
    45 Poly/ML 5.1.
    45 Poly/ML 5.1.
    46 
    46 
       
    47 * Improved algebraic capabilities by means of semiring normalization,
       
    48 Groebner bases and Ferrante/Rackoff algorithm.
       
    49 
    47 
    50 
    48 You may get Isabelle2007 from the following mirror sites:
    51 You may get Isabelle2007 from the following mirror sites:
    49 
    52 
    50   Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
    53   Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
    51   Munich (Germany)     http://isabelle.in.tum.de/
    54   Munich (Germany)     http://isabelle.in.tum.de/