[Logiweb] New check page

[Klaus Ebbe Grue]

Hi logiweb at diku.dk

A new 'check' page is available at

http://www.diku.dk/~grue/logiweb/20050502/home/index.html ->
grue ->
check GRD-2005-05-26-UTC-06-49-32-964854

On the new check page, the proof expander (formerly called the 'proof 
compiler') has been implemented. For that reason, medium level proofs a la 
Mendelson may now be checked. Just include the new 'check' page in your 
bibliography.

Klaus