--rw-r--r-- bootes sys 14407 Sep 19  2009 AbsConc3.hs
--rw-r--r-- fernan sys  2368 Sep 19  2009 AbstractEval2.hs
--rw-r--r-- bootes sys  5238 Sep 19  2009 AbstractMisc.hs
--rw-r--r-- bootes sys 14504 Sep 19  2009 AbstractVals2.hs
--rw-r--r-- fernan sys  2990 Sep 19  2009 Apply.hs
--rw-r--r-- bootes sys 14162 Sep 19  2009 BarakiConc3.hs
--rw-r--r-- bootes sys  4945 Sep 19  2009 BarakiMeet.hs
--rw-r--r-- bootes sys 13554 Sep 19  2009 BaseDefs.hs
--rw-r--r-- fernan sys  7564 Sep 19  2009 Constructors.hs
--rw-r--r-- bootes sys  6151 Sep 19  2009 Dependancy.hs
--rw-r--r-- fernan sys  4703 Sep 19  2009 DomainExpr.hs
--rw-r--r-- bootes sys  4016 Sep 19  2009 EtaAbstract.hs
--rw-r--r-- bootes sys 11859 Sep 19  2009 FrontierDATAFN2.hs
--rw-r--r-- fernan sys 10786 Sep 19  2009 FrontierGENERIC2.hs
--rw-r--r-- fernan sys  3751 Sep 19  2009 FrontierMisc2.hs
--rw-r--r-- fernan sys  7454 Sep 19  2009 Inverse.hs
--rw-r--r-- bootes sys 15931 Sep 19  2009 LambdaLift5.hs
--rw-r--r-- bootes sys  8262 Sep 19  2009 Main.hs
--rw-r--r-- fernan sys  2590 Sep 19  2009 MakeDomains.hs
--rw-r--r-- fernan sys  1302 Sep 19  2009 Monster.hs
--rw-r--r-- bootes sys  4323 Sep 19  2009 MyUtils.hs
--rw-r--r-- bootes sys 19020 Sep 19  2009 Parser2.hs
--rw-r--r-- bootes sys  4361 Sep 19  2009 PrettyPrint.hs
--rw-r--r-- bootes sys  5947 Sep 19  2009 PrintResults.hs
--rw-r--r-- fernan sys  3241 Sep 19  2009 ReadTable.hs
--rw-r--r-- bootes sys  3068 Sep 19  2009 Simplify.hs
--rw-r--r-- bootes sys 10693 Sep 19  2009 SmallerLattice.hs
--rw-r--r-- bootes sys 37239 Sep 19  2009 StrictAn6.hs
--rw-r--r-- bootes sys  9424 Sep 19  2009 SuccsAndPreds2.hs
--rw-r--r-- fernan sys  3224 Sep 19  2009 TExpr2DExpr.hs
--rw-r--r-- bootes sys 32652 Sep 19  2009 TypeCheck5.hs
--rw-r--r-- bootes sys 16297 Sep 19  2009 Utils.hs
--rw-r--r-- bootes sys 49127 Sep 19  2009 anna.stdout
--rw-r--r-- fernan sys   421 Sep 19  2009 anna_table
--rw-r--r-- fernan sys  2216 Sep 19  2009 ap_CaseAlts.cor
--rw-r--r-- fernan sys  1927 Sep 19  2009 ap_CaseArgs.cor
--rw-r--r-- fernan sys  2023 Sep 19  2009 ap_CaseOfCase.cor
--rw-r--r-- fernan sys  1813 Sep 19  2009 ap_CaseOfCase2.cor
--rw-r--r-- fernan sys  2901 Sep 19  2009 ap_CaseOfCase3.cor
--rw-r--r-- bootes sys  2036 Sep 19  2009 ap_FuncCall.cor
--rw-r--r-- fernan sys  1549 Sep 19  2009 ap_ListOfList.cor
--rw-r--r-- fernan sys  1801 Sep 19  2009 ap_SemiLazyAdd.cor
--rw-r--r-- fernan sys  1366 Sep 19  2009 ap_SemiLazyCase.cor
--rw-r--r-- bootes sys  1128 Sep 19  2009 ap_SimpleLazy.cor
--rw-r--r-- fernan sys  1194 Sep 19  2009 ap_SimpleStrict.cor
--rw-r--r-- fernan sys   321 Sep 19  2009 ap_Unzip.cor
--rw-r--r-- fernan sys  1596 Sep 19  2009 ap_Zip.cor
--rw-r--r-- fernan sys   125 Sep 19  2009 append.cor
--rw-r--r-- fernan sys  2575 Sep 19  2009 avlTree.cor
--rw-r--r-- bootes sys  6859 Sep 19  2009 big.cor
--rw-r--r-- fernan sys  2885 Sep 19  2009 bmark.cor
--rw-r--r-- fernan sys    65 Sep 19  2009 bomb.cor
--rw-r--r-- fernan sys   130 Sep 19  2009 bomb2.cor
--rw-r--r-- fernan sys   707 Sep 19  2009 bug.cor
--rw-r--r-- fernan sys   289 Sep 19  2009 bug_Anna1.cor
--rw-r--r-- fernan sys   174 Sep 19  2009 bug_Anna2.cor
--rw-r--r-- fernan sys   831 Sep 19  2009 bug_Anna3.cor
--rw-r--r-- fernan sys  1124 Sep 19  2009 bug_Anna4.cor
--rw-r--r-- bootes sys   245 Sep 19  2009 bug_Anna5.cor
--rw-r--r-- fernan sys    99 Sep 19  2009 bug_Anna6.cor
--rw-r--r-- fernan sys   269 Sep 19  2009 bug_types1.cor
--rw-r--r-- fernan sys   210 Sep 19  2009 bug_types2.cor
--rw-r--r-- fernan sys   279 Sep 19  2009 bury.cor
--rw-r--r-- fernan sys  2883 Sep 19  2009 cfoldr.cor
--rw-r--r-- fernan sys   217 Sep 19  2009 concat.cor
--rw-r--r-- fernan sys   217 Sep 19  2009 concat22.cor
--rw-r--r-- fernan sys   277 Sep 19  2009 concat24.cor
--rw-r--r-- fernan sys   304 Sep 19  2009 concat44.cor
--rw-r--r-- fernan sys  1597 Sep 19  2009 coreExpr.cor
--rw-r--r-- fernan sys   663 Sep 19  2009 coreExpr0.cor
--rw-r--r-- fernan sys  3223 Sep 19  2009 divide.cor
--rw-r--r-- fernan sys  1420 Sep 19  2009 dividetree.cor
--rw-r--r-- fernan sys  1439 Sep 19  2009 dot_3.cor
--rw-r--r-- fernan sys  1004 Sep 19  2009 dot_4.cor
--rw-r--r-- fernan sys   219 Sep 19  2009 eta.cor
--rw-r--r-- fernan sys   371 Sep 19  2009 filter.cor
--rw-r--r-- fernan sys   220 Sep 19  2009 foldrFoldl.cor
--rw-r--r-- fernan sys  1759 Sep 19  2009 fourier.cor
--rw-r--r-- fernan sys  1558 Sep 19  2009 funcDomain.cor
--rw-r--r-- fernan sys  2072 Sep 19  2009 higherOrder.cor
--rw-r--r-- fernan sys   260 Sep 19  2009 john.cor
--rw-r--r-- fernan sys   702 Sep 19  2009 llfiasco.cor
--rw-r--r-- fernan sys  1254 Sep 19  2009 manyIterate.cor
--rw-r--r-- fernan sys   226 Sep 19  2009 mutualRec.cor
--rw-r--r-- bootes sys  6859 Sep 19  2009 nofib.stdin
--rw-r--r-- fernan sys   855 Sep 19  2009 ol_num.cor
--rw-r--r-- fernan sys   260 Sep 19  2009 pairid.cor
--rw-r--r-- fernan sys    54 Sep 19  2009 parallelOr.cor
--rw-r--r-- fernan sys   413 Sep 19  2009 poly_loseGain.cor
--rw-r--r-- fernan sys  1988 Sep 19  2009 poly_simple.cor
--rw-r--r-- bootes sys 10895 Sep 19  2009 preludeList.cor
--rw-r--r-- fernan sys   172 Sep 19  2009 realNasties.cor
--rw-r--r-- fernan sys   231 Sep 19  2009 reverse.cor
--rw-r--r-- fernan sys   484 Sep 19  2009 sebastian1.cor
--rw-r--r-- fernan sys   569 Sep 19  2009 sebastian2.cor
--rw-r--r-- fernan sys  1762 Sep 19  2009 sets.cor
--rw-r--r-- bootes sys  5207 Sep 19  2009 standardTest.cor
--rw-r--r-- fernan sys   373 Sep 19  2009 treeDepth.cor