lucmoreau/ProvToolbox — pull request #15 by mikejewell (2012-10-11 22:39:50+00:00)
Title: Literals & Duplicates

Hopefully handles literals more sensibly, and allows for the removal of duplicate statements when testing.