kbertet/java-lattices — pull request #53 by JeanFrancoisViaud (2014-03-11 22:42:39+00:00)
Title: Implicational System

Renaming IS class & propagate new name
Check Style for ImplicationalSystem
Partial test for ImplicationalSystem