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

Last change on this file since 29 was 28, checked in by gobi, 12 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.