3 Commits

Author	SHA1	Message	Date
Anna Kozlova	621795bbee	isApplicability check based on pertinentToApplicability	2015-11-30 15:11:41 +01:00
Anna Kozlova	49dfdded70	new inference: don't push resolved vars in case of failed substitution	2015-11-24 10:30:21 +01:00
Anna Kozlova	8096d635a6	inference when incomplete	2014-05-01 15:33:10 +04:00