From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 19 Aug 2009 08:53:53 +0000 (+0200)
Subject: Add isUserDefined predicate.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=6d30f971c9d8e08c99ba1ad94349320c323d70f8;hp=6d30f971c9d8e08c99ba1ad94349320c323d70f8;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add isUserDefined predicate.

This predicate makes a guess as to which binders are user defined.
---