tableaux-0.3: RELEASE-NOTES
0.1 - initial release 23/09/2010 0.2 - ? 0.3 - fixed ambiguous import with more recent QuickCheck library 21/07/2023
0.1 - initial release 23/09/2010 0.2 - ? 0.3 - fixed ambiguous import with more recent QuickCheck library 21/07/2023