N3 experimental proof of test cases at http://www.ii.uib.no/~bezem/GL/

[jos . deroo]

N3 experimental proof of test cases at http://www.ii.uib.no/~bezem/GL/
snapshot at http://eulersharp.sourceforge.net/2007/07test/sem_test.ref

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/