Add is_local_var predicate.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 09:52:44 +0000 (11:52 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 13 Jul 2009 09:52:44 +0000 (11:52 +0200)
commitd0afb7276c06414c1930a2e76271239ebe9b93b0
tree147b272cbf8a69aaf3d06ed734b132e85105144f
parenta4158727e8a45f937152fb136434f0c5b23dc64a
Add is_local_var predicate.
NormalizeTools.hs