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

N3 experimental proof of test cases at http://www.ii.uib.no/~bezem/GL/
is about 32 MB unzipped and generated with
http://eulersharp.svn.sourceforge.net/viewvc/*checkout*/eulersharp/trunk/2006/02swap/sem.pl?revision=2066

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

Received on Sunday, 4 May 2008 15:25:34 UTC