Add is_wild function to check for wild binders.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 08:58:54 +0000 (10:58 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 18 Jun 2009 08:58:54 +0000 (10:58 +0200)

No differences found