../ MakefileCreated papers directory14 years ago acmtrans.bstCreated papers directory14 years ago acmtrans2m.clsCreated papers directory14 years ago comments.styCreated papers directory14 years ago compiling.texCreated papers directory14 years ago conclusions.texRevision of impl-paper completed.14 years ago delab.texLots of implementation paper revisions14 years ago elaboration.texRevision of impl-paper completed.14 years ago hll.texSome polishing, spell checking14 years ago impldtp.texLots of implementation paper revisions14 years ago intro.texSome polishing, spell checking14 years ago jfp.bstCreated papers directory14 years ago jfp1.clsCreated papers directory14 years ago library.bibRevision of impl-paper completed.14 years ago library.ltxCreated papers directory14 years ago literature.bibCreated papers directory14 years ago macros.ltxTinker with spacing14 years ago overview.texCreated papers directory14 years ago proofstate.texCreated papers directory14 years ago syntax.texCreated papers directory14 years ago typechecking.texSome polishing, spell checking14 years ago