Revision: 2540
http://eulergui.svn.sourceforge.net/eulergui/?rev=2540&view=rev
Author: jmvanel
Date: 2011-07-01 13:53:30 +0000 (Fri, 01 Jul 2011)
Log Message:
-----------
enhance theorem proving example, after advice by Jos
Modified 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.
|
