On Thursday 29 June 2000, at 3 h 28, the keyboard of Ralf Treinen <treinen@club-internet.fr> wrote: > ITP: mona, a theorem prover for the logics ws1s and ws2s (tree automata). > See http://www.brics.dk/mona/. The program is GPL but the documentation Note there is an unofficial package of bigwig, which includes mona. APT source: deb ftp://ftp.internatif.org/pub/debian/UNOFFICIAL/ ./ and request "bigwig".