This distribution of SPASS 3.8ds, a preliminary version of SPASS 3.8
described in Blanchette, Popescu, Wand, and Weidenbach's ITP 2012
paper "More SPASS with Isabelle", has been compiled from sources
provided by the SPASS team. The latest official sources (currently
3.7) can be downloaded from http://www.spass-prover.org/.

Viel SPASS!


        Jasmin Blanchette
        18 April 2012
