Add isUserDefined predicate.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 08:53:53 +0000 (10:53 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 08:53:53 +0000 (10:53 +0200)
This predicate makes a guess as to which binders are user defined.


No differences found