../ MakefileSet up .bib15 years ago acmtrans.bstFirst lot of source files and paper15 years ago acmtrans2m.clsFirst lot of source files and paper15 years ago comments.styFirst lot of source files and paper15 years ago conclusions.texSet up .bib15 years ago elaboration.texPaper structure; delete useless code15 years ago hll.texPaper structure; delete useless code15 years ago impldtp.texSet up .bib15 years ago intro.texSet up .bib15 years ago jfp.bstSet up .bib15 years ago jfp1.clsSet up .bib15 years ago library.bibSet up .bib15 years ago library.ltxFirst lot of source files and paper15 years ago literature.bibAdd ElabInfo to pass through elaborator15 years ago macros.ltxSet up .bib15 years ago overview.texSet up .bib15 years ago proofstate.texPaper structure; delete useless code15 years ago syntax.texAdded %hide and %freeze directives15 years ago typechecking.texAdded %hide and %freeze directives15 years ago