Index of /~hallgren/Programatica/tools/hs2alfa/tests

NameLast modifiedSize
Parent Directory  -
Sort.hs2003-01-31 22:09 247
Fields.hs2004-12-18 20:20 361
ListProp.hs2004-01-30 02:43 537
PreludeText.hs2004-10-29 22:55 781
Test1.hs2004-02-17 19:59 861
SortProps.hs2003-05-05 23:35 931
Test0.hs2005-07-21 00:02 944
Maybe.hs2002-10-31 00:06 1.0K
SortProofs.alfa2002-12-10 20:57 1.3K
SPS.hs2003-05-05 23:35 1.5K
PreludeList.hs2004-09-01 23:49 1.7K
Logic.alfa2004-09-01 23:49 2.4K
PreludeProperties.alfa2002-11-19 00:17 2.5K
ListPropProofs.alfa2004-01-30 02:43 5.1K
SPSproof.alfa2003-09-30 19:11 7.4K
Haskell.alfa2005-05-11 22:52 8.0K
Prelude.hs2005-02-02 00:38 8.1K
Integer.alfa2005-10-11 01:09 10K
List.hs2002-10-31 00:06 10K
SortProperties.alfa2002-11-19 00:17 16K
Apache/2.4.62 (Debian) Server at ogi.altocumulus.org Port 80