├── .gitignore ├── README.md └── code ├── delphin ├── Makefile ├── README ├── delphin.sml ├── examples │ ├── arith │ │ └── arith.d │ ├── bool │ │ └── bool.d │ ├── canonical │ │ └── sub.d │ ├── carsten │ │ ├── cps.d │ │ └── ex.d │ ├── church-rosser │ │ ├── lam.elf │ │ ├── meta.d │ │ ├── ord-red.elf │ │ └── par-red.elf │ ├── circuit │ │ └── circuit.d │ ├── combinator │ │ ├── combinator-detailed.d │ │ ├── combinator.d │ │ ├── simple-Payload.d │ │ └── simple.d │ ├── copy │ │ ├── copy.d │ │ └── copy.elf │ ├── cut-elim │ │ ├── formulas.elf │ │ ├── int-admit.d │ │ ├── int-elim.d │ │ └── int.elf │ ├── debruijn │ │ ├── debruijn-advanced.d │ │ └── debruijn-payload.d │ ├── dissertation │ │ ├── advancedEquiv.d │ │ ├── depDelphin.d │ │ └── simpleDelphin.d │ ├── esop08.d │ ├── handbook │ │ ├── README │ │ ├── fol.d │ │ ├── fol.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── hereditary-sub │ │ ├── hsub.d │ │ └── hsub.elf │ ├── hol-nuprl │ │ ├── eval.elf │ │ ├── hol-nuprl-old.d │ │ ├── hol-nuprl.d │ │ ├── hol.elf │ │ ├── hol │ │ │ ├── axioms.elf │ │ │ ├── hol.d │ │ │ └── hol.elf │ │ ├── meta.elf │ │ ├── nuprl-axioms.elf │ │ ├── nuprl │ │ │ ├── classical.elf │ │ │ ├── examples.elf │ │ │ ├── nuprl-lemmas.elf │ │ │ └── nuprl.elf │ │ ├── sources.cfg │ │ └── trans.elf │ ├── lambda │ │ ├── cntvar-advanced.d │ │ ├── continuation.d │ │ ├── copy-advanced.d │ │ ├── copy.d │ │ ├── counting.d │ │ ├── domain.d │ │ ├── eval.d │ │ ├── par.d │ │ └── testing.d │ ├── list │ │ ├── README │ │ └── list.d │ ├── logic │ │ └── logic.d │ ├── mini-ml │ │ ├── eval.elf │ │ ├── meta.d │ │ ├── mini-ml.elf │ │ ├── new │ │ │ ├── eval.elf │ │ │ ├── meta.d │ │ │ ├── mini-ml.elf │ │ │ ├── tp.elf │ │ │ ├── tpinf.elf │ │ │ ├── typeInfer.d │ │ │ └── value.elf │ │ ├── tp.elf │ │ ├── tpinf.elf │ │ ├── typeInfer.d │ │ └── value.elf │ ├── paths │ │ └── paths.d │ └── string │ │ └── string.d └── src │ ├── elaboration │ ├── abstract.fun │ ├── abstract.sig │ ├── abstract.sml │ ├── abstract2.fun │ ├── approx.sml │ ├── convert.fun │ ├── convert.sig │ ├── coverage.fun │ ├── extSyntax.sml │ ├── intSyntax.sml │ ├── normalizeDelphin.sml │ ├── printDelphinExt.sml │ ├── printDelphinInt.sml │ ├── sources.cm │ ├── sources.syntax.cm │ ├── strict.sml │ ├── tempSyntax.sml │ ├── terminate.sml │ ├── unifyDelphin.fun │ ├── unifyDelphin.sml │ ├── world.fun │ └── worldChecker.fun │ ├── frontend │ ├── LFparsing.sml │ ├── delphin.fun │ ├── delphin.grm │ ├── delphin.lex │ ├── delphin.sig │ ├── delphin.sml │ ├── interface.fun │ ├── interface.sig │ ├── ml-yacc-lib-mod │ │ ├── base.sig │ │ ├── join.sml │ │ ├── lrtable.sml │ │ ├── parser2.sml │ │ ├── sources.cm │ │ └── stream.sml │ ├── parse-prg.fun │ ├── parse-prg.sig │ ├── polyUnsafe.sml │ ├── sources.cm │ └── sources.frontend.cm │ ├── opsem │ ├── opsem.fun │ └── opsem.sig │ ├── poly.sml │ ├── sources.cm │ ├── twelf │ ├── .cvsignore │ ├── DISTRIBUTE │ ├── DISTRIBUTE.build │ ├── DISTRIBUTE.sed │ ├── FILES │ ├── HISTORY │ ├── Makefile │ ├── README │ ├── TEST │ │ ├── all-nt.sml │ │ ├── all.sml │ │ ├── anonymous.elf │ │ ├── clause.elf │ │ ├── constr.elf │ │ ├── constr2.elf │ │ ├── cover.elf │ │ ├── cp.elf │ │ ├── cp2nd.sml │ │ ├── cp3rd.sml │ │ ├── cr.sml │ │ ├── evenodd.elf │ │ ├── kevin.elf │ │ ├── lexing.elf │ │ ├── location.elf │ │ ├── m.sml │ │ ├── meta.sml │ │ ├── misc.elf │ │ ├── modes.elf │ │ ├── multimode.elf │ │ ├── occurs.elf │ │ ├── parsing.elf │ │ ├── relfun.sml │ │ ├── skolem.sml │ │ ├── solving.elf │ │ ├── strict.elf │ │ ├── subord.elf │ │ ├── term.elf │ │ ├── test.cfg │ │ ├── total.elf │ │ ├── tprecon.elf │ │ ├── unique.elf │ │ ├── unsafe.sml │ │ ├── uscore.elf │ │ └── worlds.elf │ ├── TODO │ ├── bin │ │ ├── .cvsignore │ │ ├── .dbase │ │ │ ├── .cvsignore │ │ │ └── README │ │ ├── .heap │ │ │ ├── .cvsignore │ │ │ └── README │ │ ├── .mkexec │ │ ├── .twelf-server │ │ ├── .twelf-server.bat │ │ ├── .twelf-sml │ │ ├── .twelf-sml.bat │ │ ├── clean │ │ ├── clean-cm │ │ ├── create-tags │ │ ├── tag-examples │ │ └── tag-twelf │ ├── delphin.cm │ ├── delphin.sml │ ├── emacs │ │ ├── .cvsignore │ │ ├── README │ │ ├── auc-menu.el │ │ ├── twelf-font.el │ │ ├── twelf-hilit.el │ │ ├── twelf-init.el │ │ └── twelf.el │ ├── load.sml │ ├── mlton │ │ ├── Makefile │ │ ├── install.sh │ │ ├── twelf-server-20030716.cm │ │ ├── twelf-server-97.cm │ │ ├── twelf-server.cm │ │ └── twelf-server.sml │ ├── polyml │ │ ├── .mkexec │ │ ├── Makefile │ │ ├── install.sh │ │ ├── load-delphin.sml │ │ ├── load-twelf.sml │ │ ├── load.sml │ │ ├── twelf-server-dbase.sml │ │ ├── twelf-server.sml │ │ ├── twelf-sml-dbase.sml │ │ └── twelf-sml.sml │ ├── rpm │ │ ├── INSTALL │ │ ├── README │ │ ├── logo.gif │ │ ├── twelf-1.3.spec │ │ ├── twelf-1.4.spec │ │ ├── twelf-files │ │ ├── twelf-install │ │ └── twelf-uninstall │ ├── server.cm │ ├── smlnj │ │ ├── Makefile │ │ ├── README │ │ ├── delphin.sml │ │ ├── install.sh │ │ ├── twelf-server.sml │ │ └── twelf-sml.sml │ ├── sources.cm │ ├── src │ │ ├── WALK │ │ ├── compat │ │ │ ├── array-97.sml │ │ │ ├── array-slice.sig │ │ │ ├── array-slice.sml │ │ │ ├── array.sig │ │ │ ├── compat-97.sml │ │ │ ├── compat-mlton-20030716.sml │ │ │ ├── compat-poly02.sml │ │ │ ├── compat-smlnj03.sml │ │ │ ├── compat-smlnj98.sml │ │ │ ├── compat.fun │ │ │ ├── compat.sig │ │ │ ├── compat.sml │ │ │ ├── mono-array-slice.sig │ │ │ ├── path-97.sml │ │ │ ├── path.sig │ │ │ ├── sources.cm │ │ │ ├── substring-97.sml │ │ │ ├── substring.sig │ │ │ ├── text-io-97.sml │ │ │ ├── text-io.sig │ │ │ ├── timer-97.sml │ │ │ ├── timer.sig │ │ │ ├── vector-97.sml │ │ │ ├── vector-slice.sig │ │ │ ├── vector-slice.sml │ │ │ ├── vector.sig │ │ │ └── word8-array-slice.sml │ │ ├── compile │ │ │ ├── README │ │ │ ├── assign.fun │ │ │ ├── assign.sig │ │ │ ├── compile.fun │ │ │ ├── compile.sig │ │ │ ├── compile.sml │ │ │ ├── compsyn.fun │ │ │ ├── compsyn.sig │ │ │ ├── cprint.fun │ │ │ ├── cprint.sig │ │ │ └── sources.cm │ │ ├── cover │ │ │ ├── README │ │ │ ├── cover.fun │ │ │ ├── cover.sig │ │ │ ├── cover.sml │ │ │ ├── sources.cm │ │ │ ├── total.fun │ │ │ └── total.sig │ │ ├── delphin │ │ │ ├── delphin.fun │ │ │ ├── delphin.grm │ │ │ ├── delphin.lex │ │ │ ├── delphin.sig │ │ │ ├── delphin.sml │ │ │ ├── dextsyn.fun │ │ │ ├── dextsyn.sig │ │ │ ├── interface.fun │ │ │ ├── interface.sig │ │ │ ├── ml-yacc-lib-mod │ │ │ │ ├── base.sig │ │ │ │ ├── join.sml │ │ │ │ ├── lrtable.sml │ │ │ │ ├── parser2.sml │ │ │ │ ├── sources.cm │ │ │ │ └── stream.sml │ │ │ ├── parse-prg.fun │ │ │ ├── parse-prg.sig │ │ │ ├── sources.cm │ │ │ ├── trans.fun │ │ │ └── trans.sig │ │ ├── domains │ │ │ ├── README │ │ │ ├── domains.sml │ │ │ ├── field.sig │ │ │ ├── integers-mod.fun │ │ │ ├── integers.fun │ │ │ ├── integers.sig │ │ │ ├── ordered-field.sig │ │ │ ├── rationals.fun │ │ │ ├── rationals.sig │ │ │ └── sources.cm │ │ ├── flit │ │ │ ├── README │ │ │ ├── flit.fun │ │ │ ├── flit.sig │ │ │ ├── flit.sml │ │ │ └── sources.cm │ │ ├── formatter │ │ │ ├── README │ │ │ ├── formatter.fun │ │ │ ├── formatter.sig │ │ │ ├── formatter.sml │ │ │ └── sources.cm │ │ ├── frontend │ │ │ ├── WALK │ │ │ ├── fquery.fun │ │ │ ├── fquery.sig │ │ │ ├── frontend.sml │ │ │ ├── lexer.fun │ │ │ ├── lexer.sig │ │ │ ├── parse-condec.fun │ │ │ ├── parse-condec.sig │ │ │ ├── parse-fixity.fun │ │ │ ├── parse-fixity.sig │ │ │ ├── parse-mode.fun │ │ │ ├── parse-mode.sig │ │ │ ├── parse-module.fun │ │ │ ├── parse-module.sig │ │ │ ├── parse-query.fun │ │ │ ├── parse-query.sig │ │ │ ├── parse-term.fun │ │ │ ├── parse-term.sig │ │ │ ├── parse-thm.fun │ │ │ ├── parse-thm.sig │ │ │ ├── parser.fun │ │ │ ├── parser.sig │ │ │ ├── parsing.fun │ │ │ ├── parsing.sig │ │ │ ├── recon-condec.fun │ │ │ ├── recon-condec.sig │ │ │ ├── recon-mode.fun │ │ │ ├── recon-mode.sig │ │ │ ├── recon-module.fun │ │ │ ├── recon-module.sig │ │ │ ├── recon-query.fun │ │ │ ├── recon-query.sig │ │ │ ├── recon-term.fun │ │ │ ├── recon-term.sig │ │ │ ├── recon-thm.fun │ │ │ ├── recon-thm.sig │ │ │ ├── solve.fun │ │ │ ├── solve.sig │ │ │ ├── sources.cm │ │ │ ├── twelf.fun │ │ │ ├── twelf.sig │ │ │ ├── unknownexn-smlnj.sml │ │ │ ├── unknownexn-stub.sml │ │ │ ├── unknownexn.fun │ │ │ └── unknownexn.sig │ │ ├── global │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── global.sig │ │ │ ├── global.sml │ │ │ └── sources.cm │ │ ├── heuristic │ │ │ ├── heuristic.fun │ │ │ ├── heuristic.sig │ │ │ ├── heuristic.sum.fun │ │ │ └── sources.cm │ │ ├── index │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── index-skolem.fun │ │ │ ├── index.fun │ │ │ ├── index.sig │ │ │ ├── index.sml │ │ │ └── sources.cm │ │ ├── int-inf │ │ │ ├── README │ │ │ ├── int-inf-sig.sml │ │ │ ├── int-inf.sml │ │ │ └── sources.cm │ │ ├── lambda │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── abstract.fun │ │ │ ├── abstract.sig │ │ │ ├── approx.fun │ │ │ ├── approx.sig │ │ │ ├── constraints.fun │ │ │ ├── constraints.sig │ │ │ ├── conv.fun │ │ │ ├── conv.sig │ │ │ ├── fgnopn.sig │ │ │ ├── fgnopntable.fun │ │ │ ├── intsyn.fun │ │ │ ├── intsyn.sig │ │ │ ├── lambda.sml │ │ │ ├── normalize.fun │ │ │ ├── normalize.sig │ │ │ ├── sources.cm │ │ │ ├── tomega.fun │ │ │ ├── tomega.sig │ │ │ ├── tomega.sml │ │ │ ├── unify.fun │ │ │ ├── unify.sig │ │ │ ├── whnf.fun │ │ │ └── whnf.sig │ │ ├── m2 │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── filling.fun │ │ │ ├── filling.sig │ │ │ ├── init.fun │ │ │ ├── init.sig │ │ │ ├── lemma.fun │ │ │ ├── lemma.sig │ │ │ ├── m2.sml │ │ │ ├── meta-abstract.fun │ │ │ ├── meta-abstract.sig │ │ │ ├── meta-global.sig │ │ │ ├── meta-global.sml │ │ │ ├── meta-print.fun │ │ │ ├── meta-print.sig │ │ │ ├── metasyn.fun │ │ │ ├── metasyn.sig │ │ │ ├── mpi.fun │ │ │ ├── mpi.sig │ │ │ ├── prover.fun │ │ │ ├── prover.sig │ │ │ ├── qed.fun │ │ │ ├── qed.sig │ │ │ ├── recursion.fun │ │ │ ├── recursion.sig │ │ │ ├── search.fun │ │ │ ├── search.sig │ │ │ ├── skolem.fun │ │ │ ├── skolem.sig │ │ │ ├── sources.cm │ │ │ ├── splitting.fun │ │ │ ├── splitting.sig │ │ │ ├── strategy.fun │ │ │ └── strategy.sig │ │ ├── meta │ │ │ ├── NOTES │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── abstract.fun │ │ │ ├── abstract.sig │ │ │ ├── data.fun │ │ │ ├── data.sig │ │ │ ├── filling.fun │ │ │ ├── filling.sig │ │ │ ├── funnames.fun │ │ │ ├── funnames.sig │ │ │ ├── funprint.fun │ │ │ ├── funprint.sig │ │ │ ├── funsyn.fun │ │ │ ├── funsyn.sig │ │ │ ├── funtypecheck.fun │ │ │ ├── funtypecheck.sig │ │ │ ├── funweaken.fun │ │ │ ├── funweaken.sig │ │ │ ├── global.fun │ │ │ ├── global.sig │ │ │ ├── inference.fun │ │ │ ├── inference.sig │ │ │ ├── init.fun │ │ │ ├── init.sig │ │ │ ├── interpret.sig │ │ │ ├── meta.sml │ │ │ ├── mpi.fun │ │ │ ├── mpi.sig │ │ │ ├── print.fun │ │ │ ├── print.sig │ │ │ ├── prover.fun │ │ │ ├── prover.sig │ │ │ ├── recursion.fun │ │ │ ├── recursion.sig │ │ │ ├── relfun.fun │ │ │ ├── relfun.sig │ │ │ ├── search.fun │ │ │ ├── search.sig │ │ │ ├── sources.cm │ │ │ ├── splitting.fun │ │ │ ├── splitting.sig │ │ │ ├── statesyn.fun │ │ │ ├── statesyn.sig │ │ │ ├── strategy.fun │ │ │ ├── strategy.sig │ │ │ ├── uniquesearch.fun │ │ │ ├── uniquesearch.sig │ │ │ ├── weaken.fun │ │ │ └── weaken.sig │ │ ├── modes │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── modecheck.fun │ │ │ ├── modecheck.sig │ │ │ ├── modedec.fun │ │ │ ├── modedec.sig │ │ │ ├── modeprint.fun │ │ │ ├── modeprint.sig │ │ │ ├── modes.sml │ │ │ ├── modesyn.sml │ │ │ ├── modetable.fun │ │ │ ├── modetable.sig │ │ │ └── sources.cm │ │ ├── modules │ │ │ ├── modsyn.fun │ │ │ ├── modsyn.sig │ │ │ ├── modules.sml │ │ │ └── sources.cm │ │ ├── names │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── names.fun │ │ │ └── names.sig │ │ ├── opsem │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── absmachine.fun │ │ │ ├── absmachine.sig │ │ │ ├── abstract.fun │ │ │ ├── abstract.sig │ │ │ ├── index.fun │ │ │ ├── index.sig │ │ │ ├── opsem.sml │ │ │ ├── ptrecon.fun │ │ │ ├── ptrecon.sig │ │ │ ├── sources.cm │ │ │ ├── swmachine.fun │ │ │ ├── tabled.fun │ │ │ ├── tabled.sig │ │ │ ├── tmachine.fun │ │ │ ├── trace.fun │ │ │ └── trace.sig │ │ ├── order │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── order.fun │ │ │ ├── order.sig │ │ │ ├── order.sml │ │ │ └── sources.cm │ │ ├── paths │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── origins.fun │ │ │ ├── origins.sig │ │ │ ├── paths.fun │ │ │ ├── paths.sig │ │ │ ├── paths.sml │ │ │ └── sources.cm │ │ ├── print │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── clause-print.fun │ │ │ ├── clause-print.sig │ │ │ ├── print-omdoc.fun │ │ │ ├── print-twega.fun │ │ │ ├── print-twega.sig │ │ │ ├── print-xml.fun │ │ │ ├── print-xml.sig │ │ │ ├── print.fun │ │ │ ├── print.sig │ │ │ ├── print.sml │ │ │ ├── sources.cm │ │ │ ├── symbol.fun │ │ │ ├── symbol.sig │ │ │ ├── traverse.fun │ │ │ └── traverse.sig │ │ ├── prover │ │ │ ├── data.fun │ │ │ ├── data.sig │ │ │ ├── fill.fun │ │ │ ├── fill.sig │ │ │ ├── fixedpoint.fun │ │ │ ├── fixedpoint.sig │ │ │ ├── interactive.fun │ │ │ ├── interactive.sig │ │ │ ├── introduce.fun │ │ │ ├── introduce.sig │ │ │ ├── prover.sml │ │ │ ├── recurse.sig │ │ │ ├── search.fun │ │ │ ├── search.sig │ │ │ ├── sources.cm │ │ │ ├── split.fun │ │ │ ├── split.sig │ │ │ ├── state.fun │ │ │ ├── state.sig │ │ │ ├── stateprint.fun │ │ │ ├── stateprint.sig │ │ │ ├── weaken.fun │ │ │ └── weaken.sig │ │ ├── server │ │ │ ├── server.sml │ │ │ ├── sigint-mlton.sml │ │ │ ├── sigint-polyml.sml │ │ │ ├── sigint-smlnj.sml │ │ │ ├── sigint.sig │ │ │ └── sources.cm │ │ ├── solvers │ │ │ ├── cs-eq-bools.fun │ │ │ ├── cs-eq-field.fun │ │ │ ├── cs-eq-field.sig │ │ │ ├── cs-eq-integers.fun │ │ │ ├── cs-eq-integers.sig │ │ │ ├── cs-eq-strings.fun │ │ │ ├── cs-ineq-field.fun │ │ │ ├── cs-ineq-integers.fun │ │ │ ├── cs-integers-word.fun │ │ │ ├── cs-manager.fun │ │ │ ├── cs-manager.sig │ │ │ ├── cs.sig │ │ │ ├── solvers.sml │ │ │ └── sources.cm │ │ ├── stream │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── sources.cm │ │ │ └── stream.sml │ │ ├── style │ │ │ ├── sources.cm │ │ │ ├── style.fun │ │ │ ├── style.sig │ │ │ └── style.sml │ │ ├── subordinate │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── intset.sml │ │ │ ├── subordinate.fun │ │ │ └── subordinate.sig │ │ ├── table │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── hash-table.sml │ │ │ ├── hash.sml │ │ │ ├── queue.sig │ │ │ ├── queue.sml │ │ │ ├── red-black-tree.fun │ │ │ ├── redblack.sml │ │ │ ├── ring.sig │ │ │ ├── ring.sml │ │ │ ├── sources.cm │ │ │ ├── sparse-array.fun │ │ │ ├── sparse-array.sig │ │ │ ├── sparse-array2.fun │ │ │ ├── sparse-array2.sig │ │ │ ├── string-hash.sig │ │ │ ├── string-hash.sml │ │ │ ├── table.sig │ │ │ └── table.sml │ │ ├── tabling │ │ │ ├── sources.cm │ │ │ ├── tabled.sml │ │ │ ├── tabledsyn.fun │ │ │ └── tabledsyn.sig │ │ ├── terminate │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── checking.fun │ │ │ ├── checking.sig │ │ │ ├── reduces.fun │ │ │ ├── reduces.sig │ │ │ ├── sources.cm │ │ │ └── terminate.sml │ │ ├── thm │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── sources.cm │ │ │ ├── thm.fun │ │ │ ├── thm.sig │ │ │ ├── thm.sml │ │ │ ├── thmprint.fun │ │ │ ├── thmprint.sig │ │ │ ├── thmsyn.fun │ │ │ └── thmsyn.sig │ │ ├── timing │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── sources.cm │ │ │ ├── timers.fun │ │ │ ├── timers.sig │ │ │ ├── timers.sml │ │ │ └── timing.sml │ │ ├── tomega │ │ │ ├── abstract.fun │ │ │ ├── abstract.sig │ │ │ ├── converter.fun │ │ │ ├── converter.sig │ │ │ ├── coverage.fun │ │ │ ├── coverage.sig │ │ │ ├── normalize.fun │ │ │ ├── normalize.sig │ │ │ ├── opsem.fun │ │ │ ├── opsem.sig │ │ │ ├── redundant.fun │ │ │ ├── redundant.sig │ │ │ ├── sources.cm │ │ │ ├── tomega.sml │ │ │ ├── tomegaprint.fun │ │ │ ├── tomegaprint.sig │ │ │ ├── typecheck.fun │ │ │ ├── typecheck.sig │ │ │ ├── unify.fun │ │ │ └── unify.sig │ │ ├── trail │ │ │ ├── README │ │ │ ├── notrail.sml │ │ │ ├── sources.cm │ │ │ ├── trail.sig │ │ │ └── trail.sml │ │ ├── typecheck │ │ │ ├── README │ │ │ ├── WALK │ │ │ ├── sources.cm │ │ │ ├── strict.fun │ │ │ ├── strict.sig │ │ │ ├── typecheck.fun │ │ │ ├── typecheck.sig │ │ │ └── typecheck.sml │ │ ├── unique │ │ │ ├── sources.cm │ │ │ ├── unique.fun │ │ │ ├── unique.sig │ │ │ └── unique.sml │ │ └── worldcheck │ │ │ ├── README │ │ │ ├── TODO │ │ │ ├── sources.cm │ │ │ ├── worldcheck.sml │ │ │ ├── worldify.fun │ │ │ ├── worldify.sig │ │ │ ├── worldprint.fun │ │ │ ├── worldprint.sig │ │ │ ├── worldsyn.fun │ │ │ └── worldsyn.sig │ ├── tex │ │ ├── code.sty │ │ ├── example.tex │ │ └── twelf.sty │ ├── twelf-server.sml │ ├── twelf-sml.sml │ └── vim │ │ ├── README │ │ ├── filetype.vim │ │ └── syntax │ │ └── twelf.vim │ └── typecheck │ ├── typecheck.fun │ └── typecheck.sig └── elphin ├── examples ├── arith │ └── arith.d ├── bool │ └── bool.d ├── canonical │ └── sub.d ├── circuit │ └── circuit.d ├── combinator │ └── combinator.d ├── debruijn │ └── debruijn.d ├── lambda │ ├── continuation.d │ ├── continuation.old.d │ ├── copy.d │ ├── counting.d │ ├── domain.d │ ├── mini-ml.d │ ├── par.d │ └── testing.d ├── list │ ├── README │ └── list.d ├── logic │ └── logic.d └── string │ └── string.d └── src ├── Makefile ├── README ├── elaboration ├── abstract.fun ├── abstract.sig ├── abstract.sml ├── convert.fun ├── convert.sig ├── extSyntax.sml ├── intSyntax.sml ├── normalizeNabla.sml ├── printNablaExt.sml ├── printNablaInt.sml ├── sources.cm ├── sources.syntax.cm └── unifyNabla.sml ├── frontend ├── LFparsing.sml ├── interface.fun ├── interface.sig ├── ml-yacc-lib-mod │ ├── base.sig │ ├── join.sml │ ├── lrtable.sml │ ├── parser2.sml │ ├── sources.cm │ └── stream.sml ├── nabla.fun ├── nabla.grm ├── nabla.lex ├── nabla.sig ├── nabla.sml ├── parse-prg.fun ├── parse-prg.sig ├── sources.cm └── sources.frontend.cm ├── nabla.sml ├── opsem ├── opsem.fun ├── opsem.sig └── sources.cm ├── sources.cm ├── twelf ├── .cvsignore ├── DISTRIBUTE ├── DISTRIBUTE.build ├── DISTRIBUTE.sed ├── FILES ├── HISTORY ├── InstallShield │ ├── INSTALL.txt │ ├── README.TXT │ ├── README.final │ ├── twelf-init.el │ ├── twelf-server.bat │ └── twelf1-2.iwz ├── Makefile ├── OLD │ ├── Makefile.NT │ ├── NOTES │ ├── README-1.2 │ ├── README-1.2R9 │ └── README.NT ├── README ├── TEST │ ├── all-nt.sml │ ├── all.sml │ ├── anonymous.elf │ ├── clause.elf │ ├── constr.elf │ ├── constr2.elf │ ├── cover.elf │ ├── cp.elf │ ├── cp2nd.sml │ ├── cp3rd.sml │ ├── cr.sml │ ├── evenodd.elf │ ├── kevin.elf │ ├── lexing.elf │ ├── location.elf │ ├── m.sml │ ├── meta.sml │ ├── misc.elf │ ├── modes.elf │ ├── multimode.elf │ ├── occurs.elf │ ├── parsing.elf │ ├── relfun.sml │ ├── skolem.sml │ ├── solving.elf │ ├── strict.elf │ ├── subord.elf │ ├── term.elf │ ├── test.cfg │ ├── total.elf │ ├── tprecon.elf │ ├── unique.elf │ ├── unsafe.sml │ ├── uscore.elf │ └── worlds.elf ├── TODO ├── bin │ ├── .cvsignore │ ├── .dbase │ │ ├── .cvsignore │ │ └── README │ ├── .heap │ │ ├── .cvsignore │ │ └── README │ ├── .mkexec │ ├── .twelf-server │ ├── .twelf-server.bat │ ├── .twelf-sml │ ├── .twelf-sml.bat │ ├── clean │ ├── clean-cm │ ├── create-tags │ ├── tag-examples │ └── tag-twelf ├── delphin.cm ├── delphin.sml ├── doc │ ├── UPDATE │ ├── dvi │ │ └── .cvsignore │ ├── guide │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── README │ │ ├── config.embed │ │ └── twelf.texi │ ├── html │ │ ├── .cvsignore │ │ └── index.html │ ├── info │ │ └── .cvsignore │ ├── pdf │ │ └── .cvsignore │ └── ps │ │ └── .cvsignore ├── emacs │ ├── .cvsignore │ ├── README │ ├── auc-menu.el │ ├── twelf-font.el │ ├── twelf-hilit.el │ ├── twelf-init.el │ └── twelf.el ├── examples-clp │ ├── arith │ │ ├── eval.elf │ │ ├── examples.quy │ │ ├── parse.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── base │ │ ├── base.elf │ │ ├── examples.quy │ │ ├── sources.cfg │ │ └── test.cfg │ ├── crypt │ │ ├── crypt.elf │ │ ├── examples.quy │ │ ├── sources.cfg │ │ └── test.cfg │ ├── integers │ │ ├── base.elf │ │ ├── cfract.elf │ │ ├── examples.quy │ │ ├── integers.elf │ │ ├── meta.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── laplace │ │ ├── examples.quy │ │ ├── laplace.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── lists │ │ ├── examples.quy │ │ ├── lists.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── mortgage │ │ ├── examples.quy │ │ ├── mortgage.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── pelletier │ │ ├── examples.quy │ │ ├── pelletier.elf │ │ ├── sources.cfg │ │ └── test.cfg │ └── sieve │ │ ├── examples.quy │ │ ├── sieve.elf │ │ ├── sieve2.elf │ │ ├── sources.cfg │ │ └── test.cfg ├── examples-delphin │ ├── carsten │ │ ├── mini-ml │ │ │ ├── add.delphin │ │ │ ├── bug1 │ │ │ ├── count.delphin │ │ │ ├── identity.delphin │ │ │ ├── mini-ml.elf │ │ │ ├── run.sml │ │ │ └── sources.cfg │ │ ├── nd │ │ │ ├── NOTES │ │ │ └── prover.delphin │ │ ├── prop-calc │ │ │ ├── equiv.delphin │ │ │ ├── prop-calc.elf │ │ │ └── run.sml │ │ └── prover │ │ │ ├── nd.elf │ │ │ ├── prop-calc.elf │ │ │ ├── prover.delphin │ │ │ ├── prover.elf │ │ │ ├── run.sml │ │ │ └── search.delphin │ └── mini-ml │ │ ├── count.delphin │ │ ├── mini-ml.elf │ │ └── sources.cfg ├── examples │ ├── README │ ├── arith │ │ ├── README │ │ ├── arith.elf │ │ ├── arith.thm │ │ ├── sources.cfg │ │ └── test.cfg │ ├── ccc │ │ ├── README │ │ ├── abs-env.elf │ │ ├── catlem.elf │ │ ├── ccc.elf │ │ ├── conc.elf │ │ ├── conc.thm │ │ ├── cong.elf │ │ ├── eqpres1.elf │ │ ├── eqpres2.elf │ │ ├── examples.quy │ │ ├── inv1.elf │ │ ├── inv2.elf │ │ ├── lambda.elf │ │ ├── pf.dvi │ │ ├── refl.elf │ │ ├── sources.cfg │ │ ├── spass.cfg │ │ ├── spass.elf │ │ ├── spass.sml │ │ ├── subext.elf │ │ └── test.cfg │ ├── church-rosser │ │ ├── README │ │ ├── church-rosser.thm │ │ ├── cr.thm │ │ ├── equiv.elf │ │ ├── examples.quy │ │ ├── lam.elf │ │ ├── ord-cr.elf │ │ ├── ord-lemmas.elf │ │ ├── ord-red.elf │ │ ├── par-cr.elf │ │ ├── par-lemmas.elf │ │ ├── par-red.elf │ │ ├── sources.cfg │ │ ├── test-unsafe.cfg │ │ ├── test.cfg │ │ └── test.tag │ ├── compile │ │ ├── README │ │ ├── cls │ │ │ ├── cls-complete.elf │ │ │ ├── cls-sound.elf │ │ │ ├── cls.elf │ │ │ ├── compute.elf │ │ │ ├── debruijn.elf │ │ │ ├── examples.quy │ │ │ ├── feval.elf │ │ │ ├── mini-ml.elf │ │ │ ├── slow.quy │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ ├── trans.elf │ │ │ └── trans2.elf │ │ ├── cpm │ │ │ ├── ceval-complete.elf │ │ │ ├── ceval-complete.thm │ │ │ ├── ceval-sound.elf │ │ │ ├── ceval.elf │ │ │ ├── cpm.elf │ │ │ ├── evalv.elf │ │ │ ├── examples.quy │ │ │ ├── mini-mlv.elf │ │ │ ├── proof-equiv.elf │ │ │ ├── proof-equiv.thm │ │ │ ├── slow.quy │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ ├── theorems.elf │ │ │ └── theorems.thm │ │ ├── cps │ │ │ ├── cps-eval.elf │ │ │ ├── cps.elf │ │ │ ├── examples.quy │ │ │ ├── mini-ml.elf │ │ │ ├── ml-cps.elf │ │ │ ├── sources.cfg │ │ │ └── test.cfg │ │ ├── cxm │ │ │ ├── evalv.elf │ │ │ ├── examples.quy │ │ │ ├── mini-mlv.elf │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ └── xeval.elf │ │ ├── debruijn │ │ │ ├── debruijn.elf │ │ │ ├── eval.elf │ │ │ ├── examples.quy │ │ │ ├── feval.elf │ │ │ ├── map-eval.elf │ │ │ ├── mini-ml.elf │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ ├── trans.elf │ │ │ ├── val-lemmas.elf │ │ │ └── value.elf │ │ └── debruijn1 │ │ │ ├── debruijn.elf │ │ │ ├── eval.elf │ │ │ ├── examples.quy │ │ │ ├── feval.elf │ │ │ ├── map-eval.elf │ │ │ ├── mini-ml.elf │ │ │ ├── sources.cfg │ │ │ ├── test.cfg │ │ │ └── trans.elf │ ├── cpsocc │ │ ├── NOTES │ │ ├── READ.ME │ │ ├── corr.elf │ │ ├── cpsBNF.elf │ │ ├── def1+5+fig4.elf │ │ ├── def13.elf │ │ ├── def16.elf │ │ ├── def3+6+fig5.elf │ │ ├── dsBNF.elf │ │ ├── examples.quy │ │ ├── examples.quy.orig │ │ ├── fig1.elf │ │ ├── fig10.elf │ │ ├── fig11.elf │ │ ├── fig12.elf │ │ ├── fig13.elf │ │ ├── fig7.elf │ │ ├── fig8.elf │ │ ├── fig9.elf │ │ ├── lemma14.elf │ │ ├── lemma17.elf │ │ ├── lemma7.elf │ │ ├── lemma9.elf │ │ ├── load.sml │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── test.quy │ │ ├── test.quy.orig │ │ ├── th10.elf │ │ ├── th15.elf │ │ ├── th18.elf │ │ ├── th2.elf │ │ ├── th4.elf │ │ └── th8.elf │ ├── cut-elim │ │ ├── README │ │ ├── cl-admit.elf │ │ ├── cl-cut.elf │ │ ├── cl-elim.elf │ │ ├── cl.elf │ │ ├── cl.thm │ │ ├── examples.quy │ │ ├── formulas.elf │ │ ├── int-admit.elf │ │ ├── int-cut.elf │ │ ├── int-elim.elf │ │ ├── int.elf │ │ ├── int.thm │ │ ├── sources.cfg │ │ └── test.cfg │ ├── fol │ │ ├── README │ │ ├── fol.elf │ │ ├── fol.thm │ │ ├── sources.cfg │ │ └── test.cfg │ ├── guide │ │ ├── arith.elf │ │ ├── lam.elf │ │ ├── lists.elf │ │ ├── nd.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── handbook │ │ ├── README │ │ ├── fol.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── incll │ │ ├── README │ │ ├── bff-incll.elf │ │ ├── bff-incll.quy │ │ ├── cpm-incll.elf │ │ ├── cpm-incll.quy │ │ ├── incll.elf │ │ ├── iosequents.elf │ │ ├── lists-incll.elf │ │ ├── lists-incll.quy │ │ ├── lists.elf │ │ ├── parse-incll.elf │ │ ├── parse-incll.quy │ │ ├── parse-lolli.elf │ │ ├── parse-lolli.quy │ │ ├── pre-incll.elf │ │ ├── pre-incll.quy │ │ ├── search-incll.elf │ │ ├── search-incll.quy │ │ ├── sort-incll.elf │ │ ├── sort-incll.quy │ │ ├── sources.cfg │ │ └── test.cfg │ ├── kolm │ │ ├── README │ │ ├── complete.elf │ │ ├── examples.quy │ │ ├── fol.elf │ │ ├── kolmtrans.elf │ │ ├── nj.elf │ │ ├── nk.elf │ │ ├── report.ps │ │ ├── sound.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── lp-horn │ │ ├── canon.elf │ │ ├── conv.elf │ │ ├── examples.quy │ │ ├── iscan.elf │ │ ├── natded.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── uni-can.elf │ │ ├── uni-can.thm │ │ ├── uni-complete.elf │ │ ├── uni-complete.thm │ │ ├── uni-sound.elf │ │ ├── uni-sound.thm │ │ └── uniform.elf │ ├── lp │ │ ├── canon.elf │ │ ├── cont.elf │ │ ├── conv.elf │ │ ├── examples.elf │ │ ├── examples.quy │ │ ├── fohh-formulas.elf │ │ ├── fohh.elf │ │ ├── iscan.elf │ │ ├── natded.elf │ │ ├── res-complete.elf │ │ ├── res-sound.elf │ │ ├── resolution.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── uni-complete.elf │ │ ├── uni-sound.elf │ │ └── uniform.elf │ ├── mini-ml │ │ ├── README │ │ ├── closed.elf │ │ ├── eval.elf │ │ ├── eval1.elf │ │ ├── eval2.elf │ │ ├── examples.quy │ │ ├── examples1.quy │ │ ├── mini-ml.elf │ │ ├── reduce.elf │ │ ├── reduce.thm │ │ ├── sources.cfg │ │ ├── sources1.cfg │ │ ├── test.cfg │ │ ├── tp-preserve.elf │ │ ├── tp-preserve.thm │ │ ├── tp.elf │ │ ├── tpinf.elf │ │ ├── val-sound.elf │ │ ├── val-sound.thm │ │ └── value.elf │ ├── polylam │ │ ├── examples.quy │ │ ├── polylam.elf │ │ ├── sources.cfg │ │ └── test.cfg │ ├── prop-calc │ │ ├── README │ │ ├── equiv.elf │ │ ├── equiv.thm │ │ ├── examples.quy │ │ ├── nd.elf │ │ ├── nd.tex │ │ ├── ndclass.elf │ │ ├── prop-calc-solution.elf │ │ ├── prop-calc.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── thm1.elf │ │ ├── thm2.elf │ │ └── thm3.elf │ └── tabled │ │ ├── README │ │ ├── all.sml │ │ ├── ccc │ │ ├── README │ │ ├── ccc.elf │ │ ├── tab-examples.quy │ │ └── tab.cfg │ │ ├── cr │ │ ├── lam.elf │ │ ├── ord-red.elf │ │ ├── par-red.elf │ │ ├── tab-examples.quy │ │ └── tab.cfg │ │ ├── mini-ml │ │ ├── examples.quy │ │ ├── mini-ml.elf │ │ ├── programs.elf │ │ ├── reduce.elf │ │ ├── tab.cfg │ │ └── value.elf │ │ ├── parsing │ │ ├── arithml.cfg │ │ ├── arithml.elf │ │ ├── arithml.quy │ │ ├── foll.cfg │ │ ├── foll.elf │ │ ├── foll.quy │ │ ├── tab.cfg │ │ └── warren.elf │ │ ├── poly │ │ ├── mini-ml.elf │ │ ├── tab-examples.quy │ │ ├── tab.cfg │ │ ├── tp.elf │ │ └── tpinf.elf │ │ ├── refine │ │ ├── norefex.quy │ │ ├── notab.quy │ │ ├── programs.elf │ │ ├── refex.elf │ │ ├── refex.quy │ │ └── tab.cfg │ │ ├── subtype │ │ ├── mini-ml.elf │ │ ├── subtype.elf │ │ ├── tab-examples.quy │ │ └── tab.cfg │ │ ├── subtype1 │ │ ├── basic.elf │ │ ├── mini-ml.elf │ │ ├── tab-examples.quy │ │ └── tab.cfg │ │ └── tests │ │ ├── tab.cfg │ │ ├── test1.elf │ │ ├── test2.elf │ │ ├── test3.elf │ │ ├── test4.elf │ │ ├── test5.elf │ │ ├── test6.elf │ │ └── test7.elf ├── exercises │ ├── README │ ├── opt-eval │ │ ├── README │ │ ├── eval.elf │ │ ├── examples.quy │ │ ├── mini-ml.elf │ │ ├── opt-equiv1.elf │ │ ├── opt-equiv1.thm │ │ ├── opt-equiv2.elf │ │ ├── opt-equiv2.thm │ │ ├── opt-eval.elf │ │ ├── opt-mini-ml.elf │ │ ├── opt-rep1.elf │ │ ├── opt-rep2.elf │ │ ├── sources.cfg │ │ └── test.cfg │ └── units │ │ ├── NOTES │ │ ├── README │ │ ├── constants.elf │ │ ├── eqtype-lemmas.elf │ │ ├── eqtypes.elf │ │ ├── equnits-alg.elf │ │ ├── equnits-sound.elf │ │ ├── equnits.elf │ │ ├── eval.elf │ │ ├── examples.quy │ │ ├── language.elf │ │ ├── number.elf │ │ ├── sources.cfg │ │ ├── test.cfg │ │ ├── tp-complete.elf │ │ ├── tp-inf.elf │ │ ├── tp-preserve.elf │ │ ├── tp-rules.elf │ │ ├── tp-sound.elf │ │ ├── types.elf │ │ ├── units.elf │ │ └── value.elf ├── load.sml ├── mlton │ ├── Makefile │ ├── install.sh │ ├── twelf-server-20030716.cm │ ├── twelf-server-97.cm │ ├── twelf-server.cm │ └── twelf-server.sml ├── polyml │ ├── .mkexec │ ├── Makefile │ ├── install.sh │ ├── load-delphin.sml │ ├── load-twelf.sml │ ├── load.sml │ ├── twelf-server-dbase.sml │ ├── twelf-server.sml │ ├── twelf-sml-dbase.sml │ └── twelf-sml.sml ├── rpm │ ├── INSTALL │ ├── README │ ├── logo.gif │ ├── twelf-1.3.spec │ ├── twelf-1.4.spec │ ├── twelf-files │ ├── twelf-install │ └── twelf-uninstall ├── server.cm ├── smlnj │ ├── Makefile │ ├── README │ ├── delphin.sml │ ├── install.sh │ ├── twelf-server.sml │ └── twelf-sml.sml ├── sources.cm ├── src │ ├── WALK │ ├── compat │ │ ├── array-97.sml │ │ ├── array-slice.sig │ │ ├── array-slice.sml │ │ ├── array.sig │ │ ├── compat-97.sml │ │ ├── compat-mlton-20030716.sml │ │ ├── compat-poly02.sml │ │ ├── compat-smlnj03.sml │ │ ├── compat-smlnj98.sml │ │ ├── compat.fun │ │ ├── compat.sig │ │ ├── compat.sml │ │ ├── mono-array-slice.sig │ │ ├── path-97.sml │ │ ├── path.sig │ │ ├── sources.cm │ │ ├── substring-97.sml │ │ ├── substring.sig │ │ ├── text-io-97.sml │ │ ├── text-io.sig │ │ ├── timer-97.sml │ │ ├── timer.sig │ │ ├── vector-97.sml │ │ ├── vector-slice.sig │ │ ├── vector-slice.sml │ │ ├── vector.sig │ │ └── word8-array-slice.sml │ ├── compile │ │ ├── README │ │ ├── assign.fun │ │ ├── assign.sig │ │ ├── compile.fun │ │ ├── compile.sig │ │ ├── compile.sml │ │ ├── compsyn.fun │ │ ├── compsyn.sig │ │ ├── cprint.fun │ │ ├── cprint.sig │ │ └── sources.cm │ ├── cover │ │ ├── README │ │ ├── cover.fun │ │ ├── cover.sig │ │ ├── cover.sml │ │ ├── sources.cm │ │ ├── total.fun │ │ └── total.sig │ ├── delphin │ │ ├── delphin.fun │ │ ├── delphin.grm │ │ ├── delphin.lex │ │ ├── delphin.sig │ │ ├── delphin.sml │ │ ├── dextsyn.fun │ │ ├── dextsyn.sig │ │ ├── interface.fun │ │ ├── interface.sig │ │ ├── ml-yacc-lib-mod │ │ │ ├── base.sig │ │ │ ├── join.sml │ │ │ ├── lrtable.sml │ │ │ ├── parser2.sml │ │ │ ├── sources.cm │ │ │ └── stream.sml │ │ ├── parse-prg.fun │ │ ├── parse-prg.sig │ │ ├── sources.cm │ │ ├── trans.fun │ │ └── trans.sig │ ├── domains │ │ ├── README │ │ ├── domains.sml │ │ ├── field.sig │ │ ├── integers-mod.fun │ │ ├── integers.fun │ │ ├── integers.sig │ │ ├── ordered-field.sig │ │ ├── rationals.fun │ │ ├── rationals.sig │ │ └── sources.cm │ ├── flit │ │ ├── README │ │ ├── flit.fun │ │ ├── flit.sig │ │ ├── flit.sml │ │ └── sources.cm │ ├── formatter │ │ ├── README │ │ ├── formatter.fun │ │ ├── formatter.sig │ │ ├── formatter.sml │ │ └── sources.cm │ ├── frontend │ │ ├── WALK │ │ ├── fquery.fun │ │ ├── fquery.sig │ │ ├── frontend.sml │ │ ├── lexer.fun │ │ ├── lexer.sig │ │ ├── parse-condec.fun │ │ ├── parse-condec.sig │ │ ├── parse-fixity.fun │ │ ├── parse-fixity.sig │ │ ├── parse-mode.fun │ │ ├── parse-mode.sig │ │ ├── parse-module.fun │ │ ├── parse-module.sig │ │ ├── parse-query.fun │ │ ├── parse-query.sig │ │ ├── parse-term.fun │ │ ├── parse-term.sig │ │ ├── parse-thm.fun │ │ ├── parse-thm.sig │ │ ├── parser.fun │ │ ├── parser.sig │ │ ├── parsing.fun │ │ ├── parsing.sig │ │ ├── recon-condec.fun │ │ ├── recon-condec.sig │ │ ├── recon-mode.fun │ │ ├── recon-mode.sig │ │ ├── recon-module.fun │ │ ├── recon-module.sig │ │ ├── recon-query.fun │ │ ├── recon-query.sig │ │ ├── recon-term.fun │ │ ├── recon-term.sig │ │ ├── recon-thm.fun │ │ ├── recon-thm.sig │ │ ├── solve.fun │ │ ├── solve.sig │ │ ├── sources.cm │ │ ├── twelf.fun │ │ ├── twelf.sig │ │ ├── unknownexn-smlnj.sml │ │ ├── unknownexn-stub.sml │ │ ├── unknownexn.fun │ │ └── unknownexn.sig │ ├── global │ │ ├── README │ │ ├── WALK │ │ ├── global.sig │ │ ├── global.sml │ │ └── sources.cm │ ├── heuristic │ │ ├── heuristic.fun │ │ ├── heuristic.sig │ │ ├── heuristic.sum.fun │ │ └── sources.cm │ ├── index │ │ ├── README │ │ ├── WALK │ │ ├── index-skolem.fun │ │ ├── index.fun │ │ ├── index.sig │ │ ├── index.sml │ │ └── sources.cm │ ├── int-inf │ │ ├── README │ │ ├── int-inf-sig.sml │ │ ├── int-inf.sml │ │ └── sources.cm │ ├── lambda │ │ ├── README │ │ ├── WALK │ │ ├── abstract.fun │ │ ├── abstract.sig │ │ ├── approx.fun │ │ ├── approx.sig │ │ ├── constraints.fun │ │ ├── constraints.sig │ │ ├── conv.fun │ │ ├── conv.sig │ │ ├── fgnopn.sig │ │ ├── fgnopntable.fun │ │ ├── intsyn.fun │ │ ├── intsyn.sig │ │ ├── lambda.sml │ │ ├── normalize.fun │ │ ├── normalize.sig │ │ ├── sources.cm │ │ ├── tomega.fun │ │ ├── tomega.sig │ │ ├── tomega.sml │ │ ├── unify.fun │ │ ├── unify.sig │ │ ├── whnf.fun │ │ └── whnf.sig │ ├── m2 │ │ ├── README │ │ ├── WALK │ │ ├── filling.fun │ │ ├── filling.sig │ │ ├── init.fun │ │ ├── init.sig │ │ ├── lemma.fun │ │ ├── lemma.sig │ │ ├── m2.sml │ │ ├── meta-abstract.fun │ │ ├── meta-abstract.sig │ │ ├── meta-global.sig │ │ ├── meta-global.sml │ │ ├── meta-print.fun │ │ ├── meta-print.sig │ │ ├── metasyn.fun │ │ ├── metasyn.sig │ │ ├── mpi.fun │ │ ├── mpi.sig │ │ ├── prover.fun │ │ ├── prover.sig │ │ ├── qed.fun │ │ ├── qed.sig │ │ ├── recursion.fun │ │ ├── recursion.sig │ │ ├── search.fun │ │ ├── search.sig │ │ ├── skolem.fun │ │ ├── skolem.sig │ │ ├── sources.cm │ │ ├── splitting.fun │ │ ├── splitting.sig │ │ ├── strategy.fun │ │ └── strategy.sig │ ├── meta │ │ ├── NOTES │ │ ├── README │ │ ├── WALK │ │ ├── abstract.fun │ │ ├── abstract.sig │ │ ├── data.fun │ │ ├── data.sig │ │ ├── filling.fun │ │ ├── filling.sig │ │ ├── funnames.fun │ │ ├── funnames.sig │ │ ├── funprint.fun │ │ ├── funprint.sig │ │ ├── funsyn.fun │ │ ├── funsyn.sig │ │ ├── funtypecheck.fun │ │ ├── funtypecheck.sig │ │ ├── funweaken.fun │ │ ├── funweaken.sig │ │ ├── global.fun │ │ ├── global.sig │ │ ├── inference.fun │ │ ├── inference.sig │ │ ├── init.fun │ │ ├── init.sig │ │ ├── interpret.sig │ │ ├── meta.sml │ │ ├── mpi.fun │ │ ├── mpi.sig │ │ ├── print.fun │ │ ├── print.sig │ │ ├── prover.fun │ │ ├── prover.sig │ │ ├── recursion.fun │ │ ├── recursion.sig │ │ ├── relfun.fun │ │ ├── relfun.sig │ │ ├── search.fun │ │ ├── search.sig │ │ ├── sources.cm │ │ ├── splitting.fun │ │ ├── splitting.sig │ │ ├── statesyn.fun │ │ ├── statesyn.sig │ │ ├── strategy.fun │ │ ├── strategy.sig │ │ ├── uniquesearch.fun │ │ ├── uniquesearch.sig │ │ ├── weaken.fun │ │ └── weaken.sig │ ├── modes │ │ ├── README │ │ ├── WALK │ │ ├── modecheck.fun │ │ ├── modecheck.sig │ │ ├── modedec.fun │ │ ├── modedec.sig │ │ ├── modeprint.fun │ │ ├── modeprint.sig │ │ ├── modes.sml │ │ ├── modesyn.sml │ │ ├── modetable.fun │ │ ├── modetable.sig │ │ └── sources.cm │ ├── modules │ │ ├── modsyn.fun │ │ ├── modsyn.sig │ │ ├── modules.sml │ │ └── sources.cm │ ├── names │ │ ├── README │ │ ├── WALK │ │ ├── names.fun │ │ ├── names.sig │ │ ├── names.sml │ │ └── sources.cm │ ├── opsem │ │ ├── README │ │ ├── WALK │ │ ├── absmachine.fun │ │ ├── absmachine.sig │ │ ├── abstract.fun │ │ ├── abstract.sig │ │ ├── index.fun │ │ ├── index.sig │ │ ├── opsem.sml │ │ ├── ptrecon.fun │ │ ├── ptrecon.sig │ │ ├── sources.cm │ │ ├── swmachine.fun │ │ ├── tabled.fun │ │ ├── tabled.sig │ │ ├── tmachine.fun │ │ ├── trace.fun │ │ └── trace.sig │ ├── order │ │ ├── README │ │ ├── WALK │ │ ├── order.fun │ │ ├── order.sig │ │ ├── order.sml │ │ └── sources.cm │ ├── paths │ │ ├── README │ │ ├── WALK │ │ ├── origins.fun │ │ ├── origins.sig │ │ ├── paths.fun │ │ ├── paths.sig │ │ ├── paths.sml │ │ └── sources.cm │ ├── print │ │ ├── README │ │ ├── WALK │ │ ├── clause-print.fun │ │ ├── clause-print.sig │ │ ├── print-omdoc.fun │ │ ├── print-twega.fun │ │ ├── print-twega.sig │ │ ├── print-xml.fun │ │ ├── print-xml.sig │ │ ├── print.fun │ │ ├── print.sig │ │ ├── print.sml │ │ ├── sources.cm │ │ ├── symbol.fun │ │ ├── symbol.sig │ │ ├── traverse.fun │ │ └── traverse.sig │ ├── prover │ │ ├── data.fun │ │ ├── data.sig │ │ ├── fill.fun │ │ ├── fill.sig │ │ ├── fixedpoint.fun │ │ ├── fixedpoint.sig │ │ ├── interactive.fun │ │ ├── interactive.sig │ │ ├── introduce.fun │ │ ├── introduce.sig │ │ ├── prover.sml │ │ ├── recurse.sig │ │ ├── search.fun │ │ ├── search.sig │ │ ├── sources.cm │ │ ├── split.fun │ │ ├── split.sig │ │ ├── state.fun │ │ ├── state.sig │ │ ├── stateprint.fun │ │ ├── stateprint.sig │ │ ├── weaken.fun │ │ └── weaken.sig │ ├── server │ │ ├── server.sml │ │ ├── sigint-mlton.sml │ │ ├── sigint-polyml.sml │ │ ├── sigint-smlnj.sml │ │ ├── sigint.sig │ │ └── sources.cm │ ├── solvers │ │ ├── cs-eq-bools.fun │ │ ├── cs-eq-field.fun │ │ ├── cs-eq-field.sig │ │ ├── cs-eq-integers.fun │ │ ├── cs-eq-integers.sig │ │ ├── cs-eq-strings.fun │ │ ├── cs-ineq-field.fun │ │ ├── cs-ineq-integers.fun │ │ ├── cs-integers-word.fun │ │ ├── cs-manager.fun │ │ ├── cs-manager.sig │ │ ├── cs.sig │ │ ├── solvers.sml │ │ └── sources.cm │ ├── stream │ │ ├── README │ │ ├── WALK │ │ ├── sources.cm │ │ └── stream.sml │ ├── style │ │ ├── sources.cm │ │ ├── style.fun │ │ ├── style.sig │ │ └── style.sml │ ├── subordinate │ │ ├── README │ │ ├── WALK │ │ ├── intset.sml │ │ ├── sources.cm │ │ ├── subordinate.fun │ │ ├── subordinate.sig │ │ └── subordinate.sml │ ├── table │ │ ├── README │ │ ├── WALK │ │ ├── hash-table.sml │ │ ├── hash.sml │ │ ├── queue.sig │ │ ├── queue.sml │ │ ├── red-black-tree.fun │ │ ├── redblack.sml │ │ ├── ring.sig │ │ ├── ring.sml │ │ ├── sources.cm │ │ ├── sparse-array.fun │ │ ├── sparse-array.sig │ │ ├── sparse-array2.fun │ │ ├── sparse-array2.sig │ │ ├── string-hash.sig │ │ ├── string-hash.sml │ │ ├── table.sig │ │ └── table.sml │ ├── tabling │ │ ├── sources.cm │ │ ├── tabled.sml │ │ ├── tabledsyn.fun │ │ └── tabledsyn.sig │ ├── terminate │ │ ├── README │ │ ├── WALK │ │ ├── checking.fun │ │ ├── checking.sig │ │ ├── reduces.fun │ │ ├── reduces.sig │ │ ├── sources.cm │ │ └── terminate.sml │ ├── thm │ │ ├── README │ │ ├── WALK │ │ ├── sources.cm │ │ ├── thm.fun │ │ ├── thm.sig │ │ ├── thm.sml │ │ ├── thmprint.fun │ │ ├── thmprint.sig │ │ ├── thmsyn.fun │ │ └── thmsyn.sig │ ├── timing │ │ ├── README │ │ ├── WALK │ │ ├── sources.cm │ │ ├── timers.fun │ │ ├── timers.sig │ │ ├── timers.sml │ │ └── timing.sml │ ├── tomega │ │ ├── abstract.fun │ │ ├── abstract.sig │ │ ├── converter.fun │ │ ├── converter.sig │ │ ├── coverage.fun │ │ ├── coverage.sig │ │ ├── normalize.fun │ │ ├── normalize.sig │ │ ├── opsem.fun │ │ ├── opsem.sig │ │ ├── redundant.fun │ │ ├── redundant.sig │ │ ├── sources.cm │ │ ├── tomega.sml │ │ ├── tomegaprint.fun │ │ ├── tomegaprint.sig │ │ ├── typecheck.fun │ │ ├── typecheck.sig │ │ ├── unify.fun │ │ └── unify.sig │ ├── trail │ │ ├── README │ │ ├── notrail.sml │ │ ├── sources.cm │ │ ├── trail.sig │ │ └── trail.sml │ ├── typecheck │ │ ├── README │ │ ├── WALK │ │ ├── sources.cm │ │ ├── strict.fun │ │ ├── strict.sig │ │ ├── typecheck.fun │ │ ├── typecheck.sig │ │ └── typecheck.sml │ ├── unique │ │ ├── sources.cm │ │ ├── unique.fun │ │ ├── unique.sig │ │ └── unique.sml │ └── worldcheck │ │ ├── README │ │ ├── TODO │ │ ├── sources.cm │ │ ├── worldcheck.sml │ │ ├── worldify.fun │ │ ├── worldify.sig │ │ ├── worldprint.fun │ │ ├── worldprint.sig │ │ ├── worldsyn.fun │ │ └── worldsyn.sig ├── tex │ ├── code.sty │ ├── example.tex │ └── twelf.sty ├── twelf-server.sml ├── twelf-sml.sml └── vim │ ├── README │ ├── filetype.vim │ └── syntax │ └── twelf.vim └── typecheck ├── sources.cm ├── twelf ├── sources.cm ├── typecheck.fun ├── typecheck.sig └── typecheck.sml ├── typecheck.fun └── typecheck.sig /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/README.md -------------------------------------------------------------------------------- /code/delphin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/Makefile -------------------------------------------------------------------------------- /code/delphin/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/README -------------------------------------------------------------------------------- /code/delphin/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/delphin.sml -------------------------------------------------------------------------------- /code/delphin/examples/arith/arith.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/arith/arith.d -------------------------------------------------------------------------------- /code/delphin/examples/bool/bool.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/bool/bool.d -------------------------------------------------------------------------------- /code/delphin/examples/canonical/sub.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/canonical/sub.d -------------------------------------------------------------------------------- /code/delphin/examples/carsten/cps.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/carsten/cps.d -------------------------------------------------------------------------------- /code/delphin/examples/carsten/ex.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/carsten/ex.d -------------------------------------------------------------------------------- /code/delphin/examples/church-rosser/lam.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/church-rosser/lam.elf -------------------------------------------------------------------------------- /code/delphin/examples/church-rosser/meta.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/church-rosser/meta.d -------------------------------------------------------------------------------- /code/delphin/examples/circuit/circuit.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/circuit/circuit.d -------------------------------------------------------------------------------- /code/delphin/examples/combinator/simple.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/combinator/simple.d -------------------------------------------------------------------------------- /code/delphin/examples/copy/copy.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/copy/copy.d -------------------------------------------------------------------------------- /code/delphin/examples/copy/copy.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/copy/copy.elf -------------------------------------------------------------------------------- /code/delphin/examples/cut-elim/formulas.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/cut-elim/formulas.elf -------------------------------------------------------------------------------- /code/delphin/examples/cut-elim/int-admit.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/cut-elim/int-admit.d -------------------------------------------------------------------------------- /code/delphin/examples/cut-elim/int-elim.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/cut-elim/int-elim.d -------------------------------------------------------------------------------- /code/delphin/examples/cut-elim/int.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/cut-elim/int.elf -------------------------------------------------------------------------------- /code/delphin/examples/esop08.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/esop08.d -------------------------------------------------------------------------------- /code/delphin/examples/handbook/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/handbook/README -------------------------------------------------------------------------------- /code/delphin/examples/handbook/fol.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/handbook/fol.d -------------------------------------------------------------------------------- /code/delphin/examples/handbook/fol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/handbook/fol.elf -------------------------------------------------------------------------------- /code/delphin/examples/handbook/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /code/delphin/examples/handbook/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /code/delphin/examples/hereditary-sub/hsub.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hereditary-sub/hsub.d -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/eval.elf -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/hol-nuprl.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/hol-nuprl.d -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/hol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/hol.elf -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/hol/hol.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/hol/hol.d -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/hol/hol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/hol/hol.elf -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/meta.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/meta.elf -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/sources.cfg -------------------------------------------------------------------------------- /code/delphin/examples/hol-nuprl/trans.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/hol-nuprl/trans.elf -------------------------------------------------------------------------------- /code/delphin/examples/lambda/continuation.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/continuation.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/copy-advanced.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/copy-advanced.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/copy.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/copy.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/counting.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/counting.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/domain.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/domain.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/eval.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/eval.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/par.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/par.d -------------------------------------------------------------------------------- /code/delphin/examples/lambda/testing.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/lambda/testing.d -------------------------------------------------------------------------------- /code/delphin/examples/list/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/list/README -------------------------------------------------------------------------------- /code/delphin/examples/list/list.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/list/list.d -------------------------------------------------------------------------------- /code/delphin/examples/logic/logic.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/logic/logic.d -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/eval.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/meta.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/meta.d -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/mini-ml.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/mini-ml.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/new/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/new/eval.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/new/meta.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/new/meta.d -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/new/tp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/new/tp.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/new/tpinf.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/new/tpinf.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/new/value.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/new/value.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/tp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/tp.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/tpinf.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/tpinf.elf -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/typeInfer.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/typeInfer.d -------------------------------------------------------------------------------- /code/delphin/examples/mini-ml/value.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/mini-ml/value.elf -------------------------------------------------------------------------------- /code/delphin/examples/paths/paths.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/paths/paths.d -------------------------------------------------------------------------------- /code/delphin/examples/string/string.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/examples/string/string.d -------------------------------------------------------------------------------- /code/delphin/src/elaboration/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/abstract.fun -------------------------------------------------------------------------------- /code/delphin/src/elaboration/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/abstract.sig -------------------------------------------------------------------------------- /code/delphin/src/elaboration/abstract.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/abstract.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/abstract2.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/abstract2.fun -------------------------------------------------------------------------------- /code/delphin/src/elaboration/approx.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/approx.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/convert.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/convert.fun -------------------------------------------------------------------------------- /code/delphin/src/elaboration/convert.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/convert.sig -------------------------------------------------------------------------------- /code/delphin/src/elaboration/coverage.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/coverage.fun -------------------------------------------------------------------------------- /code/delphin/src/elaboration/extSyntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/extSyntax.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/intSyntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/intSyntax.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/elaboration/strict.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/strict.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/tempSyntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/tempSyntax.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/terminate.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/terminate.sml -------------------------------------------------------------------------------- /code/delphin/src/elaboration/world.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/elaboration/world.fun -------------------------------------------------------------------------------- /code/delphin/src/frontend/LFparsing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/LFparsing.sml -------------------------------------------------------------------------------- /code/delphin/src/frontend/delphin.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/delphin.fun -------------------------------------------------------------------------------- /code/delphin/src/frontend/delphin.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/delphin.grm -------------------------------------------------------------------------------- /code/delphin/src/frontend/delphin.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/delphin.lex -------------------------------------------------------------------------------- /code/delphin/src/frontend/delphin.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/delphin.sig -------------------------------------------------------------------------------- /code/delphin/src/frontend/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/delphin.sml -------------------------------------------------------------------------------- /code/delphin/src/frontend/interface.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/interface.fun -------------------------------------------------------------------------------- /code/delphin/src/frontend/interface.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/interface.sig -------------------------------------------------------------------------------- /code/delphin/src/frontend/parse-prg.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/parse-prg.fun -------------------------------------------------------------------------------- /code/delphin/src/frontend/parse-prg.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/parse-prg.sig -------------------------------------------------------------------------------- /code/delphin/src/frontend/polyUnsafe.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/polyUnsafe.sml -------------------------------------------------------------------------------- /code/delphin/src/frontend/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/frontend/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/opsem/opsem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/opsem/opsem.fun -------------------------------------------------------------------------------- /code/delphin/src/opsem/opsem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/opsem/opsem.sig -------------------------------------------------------------------------------- /code/delphin/src/poly.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/poly.sml -------------------------------------------------------------------------------- /code/delphin/src/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/.cvsignore: -------------------------------------------------------------------------------- 1 | CM 2 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/DISTRIBUTE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/DISTRIBUTE -------------------------------------------------------------------------------- /code/delphin/src/twelf/DISTRIBUTE.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/DISTRIBUTE.build -------------------------------------------------------------------------------- /code/delphin/src/twelf/DISTRIBUTE.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/DISTRIBUTE.sed -------------------------------------------------------------------------------- /code/delphin/src/twelf/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/FILES -------------------------------------------------------------------------------- /code/delphin/src/twelf/HISTORY: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/HISTORY -------------------------------------------------------------------------------- /code/delphin/src/twelf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/Makefile -------------------------------------------------------------------------------- /code/delphin/src/twelf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/all-nt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/all-nt.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/all.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/all.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/anonymous.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/anonymous.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/clause.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/clause.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/constr.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/constr.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/constr2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/constr2.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/cover.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/cover.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/cp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/cp.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/cp2nd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/cp2nd.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/cp3rd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/cp3rd.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/cr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/cr.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/evenodd.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/evenodd.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/kevin.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/kevin.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/lexing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/lexing.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/location.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/location.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/m.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/m.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/meta.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/meta.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/misc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/misc.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/modes.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/modes.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/multimode.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/multimode.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/occurs.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/occurs.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/parsing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/parsing.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/relfun.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/relfun.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/skolem.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/skolem.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/solving.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/solving.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/strict.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/strict.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/subord.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/subord.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/term.elf: -------------------------------------------------------------------------------- 1 | %terminates D (eval D _). -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/test.cfg -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/total.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/total.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/tprecon.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/tprecon.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/unique.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/unique.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/unsafe.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/unsafe.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/uscore.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/uscore.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TEST/worlds.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TEST/worlds.elf -------------------------------------------------------------------------------- /code/delphin/src/twelf/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/TODO -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.cvsignore -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.dbase/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf* 2 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.dbase/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.dbase/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.heap/.cvsignore: -------------------------------------------------------------------------------- 1 | delphin* 2 | twelf* 3 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.heap/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.heap/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.mkexec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.mkexec -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.twelf-server: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.twelf-server -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.twelf-server.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.twelf-server.bat -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.twelf-sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.twelf-sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/.twelf-sml.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/.twelf-sml.bat -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/clean -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/clean-cm: -------------------------------------------------------------------------------- 1 | #! /bin/csh -f 2 | # 3 | find . -name CM -exec rm -rf '{}' \; 4 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/create-tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/create-tags -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/tag-examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/tag-examples -------------------------------------------------------------------------------- /code/delphin/src/twelf/bin/tag-twelf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/bin/tag-twelf -------------------------------------------------------------------------------- /code/delphin/src/twelf/delphin.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/delphin.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/delphin.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/.cvsignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/emacs/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/auc-menu.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/emacs/auc-menu.el -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/twelf-font.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/emacs/twelf-font.el -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/twelf-hilit.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/emacs/twelf-hilit.el -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/twelf-init.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/emacs/twelf-init.el -------------------------------------------------------------------------------- /code/delphin/src/twelf/emacs/twelf.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/emacs/twelf.el -------------------------------------------------------------------------------- /code/delphin/src/twelf/load.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/load.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/mlton/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/mlton/Makefile -------------------------------------------------------------------------------- /code/delphin/src/twelf/mlton/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/mlton/install.sh -------------------------------------------------------------------------------- /code/delphin/src/twelf/mlton/twelf-server.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/mlton/twelf-server.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/polyml/.mkexec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/polyml/.mkexec -------------------------------------------------------------------------------- /code/delphin/src/twelf/polyml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/polyml/Makefile -------------------------------------------------------------------------------- /code/delphin/src/twelf/polyml/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/polyml/install.sh -------------------------------------------------------------------------------- /code/delphin/src/twelf/polyml/load-twelf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/polyml/load-twelf.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/polyml/load.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/polyml/load.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/polyml/twelf-sml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/polyml/twelf-sml.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/INSTALL -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/logo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/logo.gif -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/twelf-1.3.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/twelf-1.3.spec -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/twelf-1.4.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/twelf-1.4.spec -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/twelf-files: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/twelf-files -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/twelf-install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/twelf-install -------------------------------------------------------------------------------- /code/delphin/src/twelf/rpm/twelf-uninstall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/rpm/twelf-uninstall -------------------------------------------------------------------------------- /code/delphin/src/twelf/server.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/server.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/smlnj/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/smlnj/Makefile -------------------------------------------------------------------------------- /code/delphin/src/twelf/smlnj/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/smlnj/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/smlnj/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/smlnj/delphin.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/smlnj/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/smlnj/install.sh -------------------------------------------------------------------------------- /code/delphin/src/twelf/smlnj/twelf-sml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/smlnj/twelf-sml.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/array.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/compat.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/compat.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/compat.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/compat.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/compat.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/compat.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/path.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/path.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/timer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/timer.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compat/vector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compat/vector.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/compile/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/compile/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/cover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/cover.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/cover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/cover.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/cover.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/cover.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/total.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/total.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/cover/total.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/cover/total.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/delphin/trans.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/delphin/trans.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/delphin/trans.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/delphin/trans.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/domains/README: -------------------------------------------------------------------------------- 1 | Domains for arithmetical expressions 2 | Author: Roberto Virga 3 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/domains/field.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/domains/field.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/flit/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/flit/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/flit/flit.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/flit/flit.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/flit/flit.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/flit/flit.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/flit/flit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/flit/flit.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/flit/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/flit/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/formatter/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/formatter/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/frontend/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/frontend/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/frontend/unknownexn.sig: -------------------------------------------------------------------------------- 1 | signature UNKNOWN_EXN = 2 | sig 3 | val unknownExn : exn -> string 4 | end; 5 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/global/README: -------------------------------------------------------------------------------- 1 | Global parameters 2 | Author: Frank Pfenning 3 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/global/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/global/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/global/global.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/global/global.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/global/global.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/global/global.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/global/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/global/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/index/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/index/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/index/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/index/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/index/index.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/index/index.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/index/index.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/index/index.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/index/index.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/index/index.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/index/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/index/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/int-inf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/int-inf/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/README: -------------------------------------------------------------------------------- 1 | Core Lambda Calculus 2 | Author: Frank Pfenning, Carsten Schuermann 3 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/approx.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/approx.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/approx.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/approx.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/conv.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/conv.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/conv.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/conv.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/fgnopn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/fgnopn.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/intsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/intsyn.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/intsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/intsyn.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/lambda.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/lambda.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/tomega.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/tomega.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/tomega.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/tomega.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/tomega.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/tomega.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/unify.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/unify.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/unify.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/unify.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/whnf.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/whnf.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/lambda/whnf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/lambda/whnf.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/filling.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/filling.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/filling.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/filling.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/init.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/init.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/init.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/init.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/lemma.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/lemma.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/lemma.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/lemma.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/m2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/m2.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/meta-print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/meta-print.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/meta-print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/meta-print.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/metasyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/metasyn.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/metasyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/metasyn.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/mpi.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/mpi.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/mpi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/mpi.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/prover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/prover.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/prover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/prover.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/qed.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/qed.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/qed.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/qed.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/recursion.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/recursion.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/recursion.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/recursion.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/search.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/search.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/skolem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/skolem.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/skolem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/skolem.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/splitting.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/splitting.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/splitting.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/splitting.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/strategy.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/strategy.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/m2/strategy.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/m2/strategy.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/NOTES -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/abstract.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/abstract.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/data.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/data.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/data.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/data.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/filling.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/filling.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/filling.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/filling.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/funnames.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/funnames.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/funnames.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/funnames.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/funprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/funprint.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/funprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/funprint.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/funsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/funsyn.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/funsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/funsyn.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/global.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/global.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/global.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/global.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/init.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/init.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/init.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/init.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/meta.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/meta.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/mpi.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/mpi.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/mpi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/mpi.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/print.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/print.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/prover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/prover.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/prover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/prover.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/relfun.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/relfun.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/relfun.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/relfun.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/search.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/search.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/statesyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/statesyn.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/statesyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/statesyn.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/strategy.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/strategy.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/strategy.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/strategy.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/weaken.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/weaken.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/meta/weaken.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/meta/weaken.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/modedec.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/modedec.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/modedec.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/modedec.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/modes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/modes.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/modesyn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/modesyn.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/modes/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/modes/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/names/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/names/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/names/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/names/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/names/names.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/names/names.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/names/names.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/names/names.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/index.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/index.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/index.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/index.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/opsem.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/opsem.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/ptrecon.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/ptrecon.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/ptrecon.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/ptrecon.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/tabled.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/tabled.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/tabled.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/tabled.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/trace.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/trace.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/opsem/trace.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/opsem/trace.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/order/README: -------------------------------------------------------------------------------- 1 | Termination orders for type families 2 | Author: Carsten Schuermann 3 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/order/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/order/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/order/order.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/order/order.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/order/order.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/order/order.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/order/order.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/order/order.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/order/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/order/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/origins.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/origins.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/origins.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/origins.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/paths.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/paths.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/paths.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/paths.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/paths.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/paths.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/paths/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/paths/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/README: -------------------------------------------------------------------------------- 1 | Printing of terms 2 | Author: Frank Pfenning 3 | 4 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/print.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/print.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/print.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/print.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/symbol.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/symbol.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/print/symbol.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/print/symbol.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/data.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/data.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/data.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/data.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/fill.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/fill.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/fill.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/fill.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/prover.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/prover.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/search.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/search.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/split.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/split.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/split.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/split.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/state.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/state.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/state.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/state.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/weaken.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/weaken.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/prover/weaken.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/prover/weaken.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/server/server.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/server/server.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/server/sigint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/server/sigint.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/server/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/server/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/solvers/cs.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/solvers/cs.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/stream/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/stream/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/stream/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/stream/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/stream/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/stream/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/stream/stream.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/stream/stream.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/style/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/style/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/style/style.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/style/style.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/style/style.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/style/style.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/style/style.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/style/style.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/subordinate/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/subordinate/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/hash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/hash.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/queue.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/queue.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/queue.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/queue.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/ring.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/ring.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/ring.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/ring.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/table.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/table.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/table/table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/table/table.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/terminate/README: -------------------------------------------------------------------------------- 1 | Termination checker 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/terminate/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/terminate/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/README: -------------------------------------------------------------------------------- 1 | Theorem and related declarations 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thm.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thm.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thm.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thm.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thmprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thmprint.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thmprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thmprint.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thmsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thmsyn.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/thm/thmsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/thm/thmsyn.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/timers.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/timers.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/timers.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/timers.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/timers.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/timers.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/timing/timing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/timing/timing.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/tomega/opsem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/tomega/opsem.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/tomega/opsem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/tomega/opsem.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/tomega/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/tomega/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/tomega/tomega.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/tomega/tomega.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/tomega/unify.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/tomega/unify.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/tomega/unify.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/tomega/unify.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/trail/README: -------------------------------------------------------------------------------- 1 | Generic Trailing 2 | Author: Roberto Virga 3 | -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/trail/notrail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/trail/notrail.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/trail/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/trail/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/trail/trail.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/trail/trail.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/trail/trail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/trail/trail.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/typecheck/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/typecheck/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/typecheck/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/typecheck/WALK -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/unique/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/unique/sources.cm -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/unique/unique.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/unique/unique.fun -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/unique/unique.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/unique/unique.sig -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/unique/unique.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/unique/unique.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/worldcheck/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/worldcheck/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/src/worldcheck/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/src/worldcheck/TODO -------------------------------------------------------------------------------- /code/delphin/src/twelf/tex/code.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/tex/code.sty -------------------------------------------------------------------------------- /code/delphin/src/twelf/tex/example.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/tex/example.tex -------------------------------------------------------------------------------- /code/delphin/src/twelf/tex/twelf.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/tex/twelf.sty -------------------------------------------------------------------------------- /code/delphin/src/twelf/twelf-server.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/twelf-server.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/twelf-sml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/twelf-sml.sml -------------------------------------------------------------------------------- /code/delphin/src/twelf/vim/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/vim/README -------------------------------------------------------------------------------- /code/delphin/src/twelf/vim/filetype.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/vim/filetype.vim -------------------------------------------------------------------------------- /code/delphin/src/twelf/vim/syntax/twelf.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/twelf/vim/syntax/twelf.vim -------------------------------------------------------------------------------- /code/delphin/src/typecheck/typecheck.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/typecheck/typecheck.fun -------------------------------------------------------------------------------- /code/delphin/src/typecheck/typecheck.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/delphin/src/typecheck/typecheck.sig -------------------------------------------------------------------------------- /code/elphin/examples/arith/arith.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/arith/arith.d -------------------------------------------------------------------------------- /code/elphin/examples/bool/bool.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/bool/bool.d -------------------------------------------------------------------------------- /code/elphin/examples/canonical/sub.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/canonical/sub.d -------------------------------------------------------------------------------- /code/elphin/examples/circuit/circuit.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/circuit/circuit.d -------------------------------------------------------------------------------- /code/elphin/examples/combinator/combinator.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/combinator/combinator.d -------------------------------------------------------------------------------- /code/elphin/examples/debruijn/debruijn.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/debruijn/debruijn.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/continuation.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/continuation.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/copy.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/copy.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/counting.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/counting.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/domain.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/domain.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/mini-ml.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/mini-ml.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/par.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/par.d -------------------------------------------------------------------------------- /code/elphin/examples/lambda/testing.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/lambda/testing.d -------------------------------------------------------------------------------- /code/elphin/examples/list/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/list/README -------------------------------------------------------------------------------- /code/elphin/examples/list/list.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/list/list.d -------------------------------------------------------------------------------- /code/elphin/examples/logic/logic.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/logic/logic.d -------------------------------------------------------------------------------- /code/elphin/examples/string/string.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/examples/string/string.d -------------------------------------------------------------------------------- /code/elphin/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/Makefile -------------------------------------------------------------------------------- /code/elphin/src/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/README -------------------------------------------------------------------------------- /code/elphin/src/elaboration/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/abstract.fun -------------------------------------------------------------------------------- /code/elphin/src/elaboration/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/abstract.sig -------------------------------------------------------------------------------- /code/elphin/src/elaboration/abstract.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/abstract.sml -------------------------------------------------------------------------------- /code/elphin/src/elaboration/convert.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/convert.fun -------------------------------------------------------------------------------- /code/elphin/src/elaboration/convert.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/convert.sig -------------------------------------------------------------------------------- /code/elphin/src/elaboration/extSyntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/extSyntax.sml -------------------------------------------------------------------------------- /code/elphin/src/elaboration/intSyntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/intSyntax.sml -------------------------------------------------------------------------------- /code/elphin/src/elaboration/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/elaboration/unifyNabla.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/elaboration/unifyNabla.sml -------------------------------------------------------------------------------- /code/elphin/src/frontend/LFparsing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/LFparsing.sml -------------------------------------------------------------------------------- /code/elphin/src/frontend/interface.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/interface.fun -------------------------------------------------------------------------------- /code/elphin/src/frontend/interface.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/interface.sig -------------------------------------------------------------------------------- /code/elphin/src/frontend/nabla.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/nabla.fun -------------------------------------------------------------------------------- /code/elphin/src/frontend/nabla.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/nabla.grm -------------------------------------------------------------------------------- /code/elphin/src/frontend/nabla.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/nabla.lex -------------------------------------------------------------------------------- /code/elphin/src/frontend/nabla.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/nabla.sig -------------------------------------------------------------------------------- /code/elphin/src/frontend/nabla.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/nabla.sml -------------------------------------------------------------------------------- /code/elphin/src/frontend/parse-prg.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/parse-prg.fun -------------------------------------------------------------------------------- /code/elphin/src/frontend/parse-prg.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/parse-prg.sig -------------------------------------------------------------------------------- /code/elphin/src/frontend/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/frontend/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/nabla.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/nabla.sml -------------------------------------------------------------------------------- /code/elphin/src/opsem/opsem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/opsem/opsem.fun -------------------------------------------------------------------------------- /code/elphin/src/opsem/opsem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/opsem/opsem.sig -------------------------------------------------------------------------------- /code/elphin/src/opsem/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/opsem/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/.cvsignore: -------------------------------------------------------------------------------- 1 | CM 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/DISTRIBUTE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/DISTRIBUTE -------------------------------------------------------------------------------- /code/elphin/src/twelf/DISTRIBUTE.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/DISTRIBUTE.build -------------------------------------------------------------------------------- /code/elphin/src/twelf/DISTRIBUTE.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/DISTRIBUTE.sed -------------------------------------------------------------------------------- /code/elphin/src/twelf/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/FILES -------------------------------------------------------------------------------- /code/elphin/src/twelf/HISTORY: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/HISTORY -------------------------------------------------------------------------------- /code/elphin/src/twelf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/Makefile -------------------------------------------------------------------------------- /code/elphin/src/twelf/OLD/Makefile.NT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/OLD/Makefile.NT -------------------------------------------------------------------------------- /code/elphin/src/twelf/OLD/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/OLD/NOTES -------------------------------------------------------------------------------- /code/elphin/src/twelf/OLD/README-1.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/OLD/README-1.2 -------------------------------------------------------------------------------- /code/elphin/src/twelf/OLD/README-1.2R9: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/OLD/README-1.2R9 -------------------------------------------------------------------------------- /code/elphin/src/twelf/OLD/README.NT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/OLD/README.NT -------------------------------------------------------------------------------- /code/elphin/src/twelf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/all-nt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/all-nt.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/all.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/all.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/anonymous.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/anonymous.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/clause.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/clause.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/constr.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/constr.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/constr2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/constr2.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/cover.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/cover.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/cp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/cp.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/cp2nd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/cp2nd.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/cp3rd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/cp3rd.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/cr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/cr.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/evenodd.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/evenodd.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/kevin.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/kevin.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/lexing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/lexing.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/location.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/location.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/m.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/m.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/meta.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/meta.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/misc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/misc.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/modes.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/modes.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/multimode.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/multimode.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/occurs.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/occurs.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/parsing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/parsing.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/relfun.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/relfun.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/skolem.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/skolem.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/solving.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/solving.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/strict.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/strict.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/subord.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/subord.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/term.elf: -------------------------------------------------------------------------------- 1 | %terminates D (eval D _). -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/test.cfg -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/total.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/total.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/tprecon.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/tprecon.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/unique.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/unique.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/unsafe.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/unsafe.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/uscore.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/uscore.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TEST/worlds.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TEST/worlds.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/TODO -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.cvsignore -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.dbase/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf* 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.dbase/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.dbase/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.heap/.cvsignore: -------------------------------------------------------------------------------- 1 | delphin* 2 | twelf* 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.heap/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.heap/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.mkexec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.mkexec -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.twelf-server: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.twelf-server -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.twelf-sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.twelf-sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/.twelf-sml.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/.twelf-sml.bat -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/clean -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/clean-cm: -------------------------------------------------------------------------------- 1 | #! /bin/csh -f 2 | # 3 | find . -name CM -exec rm -rf '{}' \; 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/create-tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/create-tags -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/tag-examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/tag-examples -------------------------------------------------------------------------------- /code/elphin/src/twelf/bin/tag-twelf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/bin/tag-twelf -------------------------------------------------------------------------------- /code/elphin/src/twelf/delphin.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/delphin.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/delphin.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/UPDATE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/doc/UPDATE -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/dvi/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.dvi 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/guide/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/doc/guide/.cvsignore -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/guide/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/doc/guide/Makefile -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/guide/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/doc/guide/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/guide/config.embed: -------------------------------------------------------------------------------- 1 | p +/afs/cs/project/twelf/misc/ps-type1/embed.map 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/guide/twelf.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/doc/guide/twelf.texi -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/html/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf_*.html 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/html/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/doc/html/index.html -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/info/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.info* 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/pdf/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.pdf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/doc/ps/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.ps 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/.cvsignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/emacs/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/auc-menu.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/emacs/auc-menu.el -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/twelf-font.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/emacs/twelf-font.el -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/twelf-hilit.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/emacs/twelf-hilit.el -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/twelf-init.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/emacs/twelf-init.el -------------------------------------------------------------------------------- /code/elphin/src/twelf/emacs/twelf.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/emacs/twelf.el -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/base/sources.cfg: -------------------------------------------------------------------------------- 1 | base.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/base/test.cfg: -------------------------------------------------------------------------------- 1 | base.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/crypt/sources.cfg: -------------------------------------------------------------------------------- 1 | crypt.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/crypt/test.cfg: -------------------------------------------------------------------------------- 1 | crypt.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/laplace/sources.cfg: -------------------------------------------------------------------------------- 1 | laplace.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/laplace/test.cfg: -------------------------------------------------------------------------------- 1 | laplace.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/lists/sources.cfg: -------------------------------------------------------------------------------- 1 | lists.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/lists/test.cfg: -------------------------------------------------------------------------------- 1 | lists.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/mortgage/sources.cfg: -------------------------------------------------------------------------------- 1 | mortgage.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/mortgage/test.cfg: -------------------------------------------------------------------------------- 1 | mortgage.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/pelletier/sources.cfg: -------------------------------------------------------------------------------- 1 | pelletier.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/pelletier/test.cfg: -------------------------------------------------------------------------------- 1 | pelletier.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/sieve/sources.cfg: -------------------------------------------------------------------------------- 1 | sieve2.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-clp/sieve/test.cfg: -------------------------------------------------------------------------------- 1 | sieve2.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-delphin/carsten/mini-ml/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples-delphin/mini-ml/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/ccc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/ccc/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/ccc/ccc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/ccc/ccc.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/ccc/pf.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/ccc/pf.dvi -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/ccc/spass.cfg: -------------------------------------------------------------------------------- 1 | spass.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/fol/README: -------------------------------------------------------------------------------- 1 | A few experiments in direct proof search. 2 | 3 | Can we prove uncurry? 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/fol/fol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/fol/fol.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/fol/fol.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/fol/fol.thm -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/fol/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/fol/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | fol.thm 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/handbook/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/handbook/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/kolm/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/kolm/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/kolm/nj.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/kolm/nj.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/kolm/nk.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/kolm/nk.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/lp/cont.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/lp/cont.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/lp/conv.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/lp/conv.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/lp/fohh.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/lp/fohh.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/lp/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/examples/lp/test.cfg -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/polylam/sources.cfg: -------------------------------------------------------------------------------- 1 | polylam.elf 2 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/polylam/test.cfg: -------------------------------------------------------------------------------- 1 | polylam.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/prop-calc/nd.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/tabled/ccc/tab.cfg: -------------------------------------------------------------------------------- 1 | ccc.elf 2 | tab-examples.quy 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/examples/tabled/parsing/tab.cfg: -------------------------------------------------------------------------------- 1 | warren.elf -------------------------------------------------------------------------------- /code/elphin/src/twelf/exercises/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/exercises/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/load.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/load.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/mlton/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/mlton/Makefile -------------------------------------------------------------------------------- /code/elphin/src/twelf/mlton/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/mlton/install.sh -------------------------------------------------------------------------------- /code/elphin/src/twelf/polyml/.mkexec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/polyml/.mkexec -------------------------------------------------------------------------------- /code/elphin/src/twelf/polyml/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/polyml/Makefile -------------------------------------------------------------------------------- /code/elphin/src/twelf/polyml/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/polyml/install.sh -------------------------------------------------------------------------------- /code/elphin/src/twelf/polyml/load.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/polyml/load.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/polyml/twelf-sml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/polyml/twelf-sml.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/INSTALL -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/logo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/logo.gif -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/twelf-1.3.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/twelf-1.3.spec -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/twelf-1.4.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/twelf-1.4.spec -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/twelf-files: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/twelf-files -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/twelf-install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/twelf-install -------------------------------------------------------------------------------- /code/elphin/src/twelf/rpm/twelf-uninstall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/rpm/twelf-uninstall -------------------------------------------------------------------------------- /code/elphin/src/twelf/server.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/server.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/smlnj/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/smlnj/Makefile -------------------------------------------------------------------------------- /code/elphin/src/twelf/smlnj/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/smlnj/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/smlnj/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/smlnj/delphin.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/smlnj/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/smlnj/install.sh -------------------------------------------------------------------------------- /code/elphin/src/twelf/smlnj/twelf-sml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/smlnj/twelf-sml.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/compat/array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/compat/array.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/compat/path.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/compat/path.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/compat/timer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/compat/timer.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/compile/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/compile/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/cover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/cover.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/cover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/cover.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/cover.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/cover.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/total.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/total.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/cover/total.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/cover/total.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/domains/README: -------------------------------------------------------------------------------- 1 | Domains for arithmetical expressions 2 | Author: Roberto Virga 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/flit/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/flit/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/flit/flit.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/flit/flit.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/flit/flit.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/flit/flit.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/flit/flit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/flit/flit.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/flit/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/flit/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/formatter/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/formatter/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/frontend/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/frontend/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/frontend/unknownexn.sig: -------------------------------------------------------------------------------- 1 | signature UNKNOWN_EXN = 2 | sig 3 | val unknownExn : exn -> string 4 | end; 5 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/global/README: -------------------------------------------------------------------------------- 1 | Global parameters 2 | Author: Frank Pfenning 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/global/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/global/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/index/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/index/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/index/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/index/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/index/index.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/index/index.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/index/index.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/index/index.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/index/index.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/index/index.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/index/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/index/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/int-inf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/int-inf/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/README: -------------------------------------------------------------------------------- 1 | Core Lambda Calculus 2 | Author: Frank Pfenning, Carsten Schuermann 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/conv.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/conv.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/conv.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/conv.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/unify.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/unify.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/unify.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/unify.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/whnf.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/whnf.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/lambda/whnf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/lambda/whnf.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/filling.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/filling.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/filling.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/filling.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/init.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/init.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/init.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/init.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/lemma.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/lemma.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/lemma.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/lemma.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/m2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/m2.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/metasyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/metasyn.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/metasyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/metasyn.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/mpi.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/mpi.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/mpi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/mpi.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/prover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/prover.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/prover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/prover.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/qed.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/qed.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/qed.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/qed.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/recursion.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/recursion.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/recursion.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/recursion.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/search.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/search.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/skolem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/skolem.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/skolem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/skolem.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/splitting.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/splitting.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/splitting.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/splitting.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/strategy.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/strategy.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/m2/strategy.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/m2/strategy.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/NOTES -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/data.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/data.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/data.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/data.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/filling.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/filling.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/filling.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/filling.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/funsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/funsyn.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/funsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/funsyn.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/global.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/global.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/global.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/global.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/init.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/init.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/init.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/init.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/meta.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/meta.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/mpi.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/mpi.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/mpi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/mpi.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/print.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/print.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/prover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/prover.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/prover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/prover.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/relfun.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/relfun.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/relfun.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/relfun.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/search.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/search.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/weaken.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/weaken.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/meta/weaken.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/meta/weaken.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/modes/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/modes/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/modes/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/modes/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/modes/modes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/modes/modes.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/modes/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/modes/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/names/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/names/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/names/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/names/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/names/names.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/names/names.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/names/names.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/names/names.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/names/names.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/names/names.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/names/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/names/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/index.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/index.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/index.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/index.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/opsem.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/opsem.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/tabled.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/tabled.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/tabled.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/tabled.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/trace.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/trace.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/opsem/trace.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/opsem/trace.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/order/README: -------------------------------------------------------------------------------- 1 | Termination orders for type families 2 | Author: Carsten Schuermann 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/order/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/order/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/order/order.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/order/order.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/order/order.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/order/order.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/order/order.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/order/order.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/order/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/order/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/paths/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/paths/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/paths/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/paths/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/paths/paths.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/paths/paths.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/paths/paths.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/paths/paths.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/paths/paths.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/paths/paths.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/paths/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/paths/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/README: -------------------------------------------------------------------------------- 1 | Printing of terms 2 | Author: Frank Pfenning 3 | 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/print.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/print.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/print.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/print.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/symbol.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/symbol.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/print/symbol.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/print/symbol.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/data.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/data.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/data.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/data.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/fill.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/fill.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/fill.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/fill.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/split.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/split.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/split.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/split.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/state.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/state.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/prover/state.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/prover/state.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/solvers/cs.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/solvers/cs.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/stream/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/stream/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/stream/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/stream/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/style/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/style/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/style/style.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/style/style.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/style/style.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/style/style.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/style/style.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/style/style.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/subordinate/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/subordinate/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/hash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/hash.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/queue.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/queue.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/queue.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/queue.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/ring.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/ring.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/ring.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/ring.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/table.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/table.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/table/table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/table/table.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/terminate/README: -------------------------------------------------------------------------------- 1 | Termination checker 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/terminate/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/terminate/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/README: -------------------------------------------------------------------------------- 1 | Theorem and related declarations 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thm.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thm.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thm.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thm.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thmprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thmprint.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thmprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thmprint.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thmsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thmsyn.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/thm/thmsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/thm/thmsyn.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/timing/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/timing/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/timing/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/timing/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/tomega/opsem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/tomega/opsem.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/tomega/opsem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/tomega/opsem.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/tomega/unify.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/tomega/unify.fun -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/tomega/unify.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/tomega/unify.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/trail/README: -------------------------------------------------------------------------------- 1 | Generic Trailing 2 | Author: Roberto Virga 3 | -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/trail/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/trail/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/trail/trail.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/trail/trail.sig -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/trail/trail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/trail/trail.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/typecheck/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/typecheck/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/typecheck/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/typecheck/WALK -------------------------------------------------------------------------------- /code/elphin/src/twelf/src/worldcheck/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/src/worldcheck/TODO -------------------------------------------------------------------------------- /code/elphin/src/twelf/tex/code.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/tex/code.sty -------------------------------------------------------------------------------- /code/elphin/src/twelf/tex/example.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/tex/example.tex -------------------------------------------------------------------------------- /code/elphin/src/twelf/tex/twelf.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/tex/twelf.sty -------------------------------------------------------------------------------- /code/elphin/src/twelf/twelf-server.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/twelf-server.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/twelf-sml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/twelf-sml.sml -------------------------------------------------------------------------------- /code/elphin/src/twelf/vim/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/vim/README -------------------------------------------------------------------------------- /code/elphin/src/twelf/vim/filetype.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/vim/filetype.vim -------------------------------------------------------------------------------- /code/elphin/src/twelf/vim/syntax/twelf.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/twelf/vim/syntax/twelf.vim -------------------------------------------------------------------------------- /code/elphin/src/typecheck/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/typecheck/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/typecheck/twelf/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/typecheck/twelf/sources.cm -------------------------------------------------------------------------------- /code/elphin/src/typecheck/typecheck.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/typecheck/typecheck.fun -------------------------------------------------------------------------------- /code/elphin/src/typecheck/typecheck.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aposwolsky/delphin/HEAD/code/elphin/src/typecheck/typecheck.sig --------------------------------------------------------------------------------