| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| Fields.hs | 2004-12-18 20:20 | 361 |
| Haskell.alfa | 2005-05-11 22:52 | 8.0K |
| Integer.alfa | 2005-10-11 01:09 | 10K |
| List.hs | 2002-10-31 00:06 | 10K |
| ListProp.hs | 2004-01-30 02:43 | 537 |
| ListPropProofs.alfa | 2004-01-30 02:43 | 5.1K |
| Logic.alfa | 2004-09-01 23:49 | 2.4K |
| Maybe.hs | 2002-10-31 00:06 | 1.0K |
| Prelude.hs | 2005-02-02 00:38 | 8.1K |
| PreludeList.hs | 2004-09-01 23:49 | 1.7K |
| PreludeProperties.alfa | 2002-11-19 00:17 | 2.5K |
| PreludeText.hs | 2004-10-29 22:55 | 781 |
| SPS.hs | 2003-05-05 23:35 | 1.5K |
| SPSproof.alfa | 2003-09-30 19:11 | 7.4K |
| Sort.hs | 2003-01-31 22:09 | 247 |
| SortProofs.alfa | 2002-12-10 20:57 | 1.3K |
| SortProperties.alfa | 2002-11-19 00:17 | 16K |
| SortProps.hs | 2003-05-05 23:35 | 931 |
| Test0.hs | 2005-07-21 00:02 | 944 |
| Test1.hs | 2004-02-17 19:59 | 861 |