[Flora-commits] SF.net SVN: flora2 commit:[1241] trunk/flora2

[<ki...@us...>]

Revision: 1241
          http://sourceforge.net/p/flora/src/1241
Author:   kifer
Date:     2015-07-04 21:06:01 +0000 (Sat, 04 Jul 2015)
Log Message:
-----------
improved the union/intersection class axioms to prevent wrong cycles in the class hierarchy

Modified Paths:
--------------
    trunk/flora2/closure/flrtypes.fli
    trunk/flora2/flrshell.P
    trunk/flora2/version.flh