test

[Jan Grant]

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
Theoremhood is positively decidable.
It just takes time at least exponential in the length of the proof.