1/ see http://eulersharp.sourceforge.net/GUIDE 2/ in http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2006/02swap/semj_test.ref?revision=2440 the variable substitutions are in the object list tail of r:source 3/ http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2007/07test/pd_hes_tactic.n3?revision=2441 is an initial attempt to have proof tactics formulated in N3 and it works as proof of concept for the proof of Hessenberg's theorem which is included in http://eulersharp.svn.sourceforge.net/viewvc/eulersharp/trunk/2007/07test/semj_test.ref?revision=2440 after #pd_hes...... 4/ tested with http://downloads.sourceforge.net/eulersharp/Euler-2008-10-21.zip and README is at http://eulersharp.sourceforge.net/README Jos De Roo | Agfa HealthCare Senior Researcher | HE/Advanced Clinical Applications Research T +32 3444 7618 http://www.agfa.com/w3c/jdroo/ Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium http://www.agfa.com/healthcareReceived on Tuesday, 21 October 2008 00:34:16 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 21 October 2008 00:34:17 GMT