[Eulergui-commits] SF.net SVN: eulergui:[2539] trunk/eulergui/examples

[<jm...@us...>]

Revision: 2539
          http://eulergui.svn.sourceforge.net/eulergui/?rev=2539&view=rev
Author:   jmvanel
Date:     2011-07-01 10:43:57 +0000 (Fri, 01 Jul 2011)

Log Message:
-----------
added family-rewritten.n3 (theorem prover example ) : family.n3 rewritten on Jos' advice - WIP

Modified Paths:
--------------
    trunk/eulergui/examples/family.n3p

Added Paths:
-----------
    trunk/eulergui/examples/family-rewritten.n3


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.