Fedor Isakov bbe9178c40 Adopted the updated unification API, terminology change: Atom, Func, Term and arguments		2015-08-01 17:21:12 +02:00
..
jetbrains.mps.type.sandbox/classes_jchr	Removed obsolete solutions	2015-06-17 15:39:53 +02:00
jetbrains.mps.typechecking.handling	Adopted the updated unification API, terminology change: Atom, Func, Term and arguments	2015-08-01 17:21:12 +02:00
jetbrains.mps.typechecking.rules	Fixed the NPE during error reporting	2015-07-20 16:53:49 +02:00
jetbrains.mps.unification.tree	Adopted the updated unification API, terminology change: Atom, Func, Term and arguments	2015-08-01 17:21:12 +02:00