Fedor Isakov c337fe0039 Updated the unification lib		2015-03-22 15:19:12 +01:00
.idea	Added objenesis library to the IDEA module to support debugging	2015-03-13 16:04:35 +01:00
.mps	Deleting the old deprecated concepts, some refactoring	2015-03-01 15:51:57 +01:00
languages	Calculate system hash of a tree logical, avoid ininite recursion (eg. in recursive types)	2015-03-13 16:03:57 +01:00
solutions	Updated the unification lib	2015-03-22 15:19:12 +01:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Ignore IDEA's workspace file	2015-02-09 16:21:36 +01:00
.gitmodules	Renamed the solution	2014-07-28 11:58:53 +02:00