| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| ToQC.hs | 2005-07-21 00:02 | 12K |
| SubstitutePropStruct.hs | 2003-03-12 22:55 | 590 |
| SubstituteProp.hs | 2004-12-16 01:36 | 510 |
| SimpPatMatchProp.hs | 2004-12-18 21:58 | 403 |
| RemoveListCompProp.hs | 2004-12-18 06:24 | 333 |
| MapDeclMPropStruct.hs | 2002-06-11 01:16 | 685 |
| MapDeclMProp.hs | 2002-05-07 08:52 | 460 |
| Flags.ghc | 2003-03-12 22:55 | 122 |