[Eulergui-commits] SF.net SVN: eulergui:[1857] branches/refactoring/eulergui/examples

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

Revision: 1857
          http://eulergui.svn.sourceforge.net/eulergui/?rev=1857&view=rev
Author:   jmvanel
Date:     2010-10-23 13:15:36 +0000 (Sat, 23 Oct 2010)

Log Message:
-----------
add examples/family.n3p : Theorem proving with Euler engine ; does not run as expected :(

Added Paths:
-----------
    branches/refactoring/eulergui/examples/family.n3
    branches/refactoring/eulergui/examples/family.n3p
    branches/refactoring/eulergui/examples/familyQ.n3


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