source: sizechecking/branches/macs/Tests/ProofTest.hs

Last change on this file was 28, checked in by gobi, 11 years ago

cleanup
File size: 70 bytes
Line 
1module Tests.ProofTest where
2
3import Tests.SizedFunTest
4import Proof
5
Note: See TracBrowser for help on using the repository browser.