├── .github └── workflows │ ├── build-wiki.yml │ └── run-tests.yml ├── .gitignore ├── DISTRIBUTE ├── README ├── build.sh ├── controller-linux.sh ├── controller-osx.sh └── osx │ ├── Makefile │ └── template.dmg.bz2 ├── HISTORY ├── LICENSE ├── Makefile ├── README.md ├── TEST ├── Makefile ├── README ├── all-nt.sml ├── all.sml ├── anonymous.elf ├── clause.elf ├── constr.elf ├── constr2.elf ├── cover.elf ├── cp.elf ├── cp2nd.sml ├── cp3rd.sml ├── cr.sml ├── crary │ ├── README │ ├── explicit │ │ ├── excon-rev.cfg │ │ ├── excon-rev.elf │ │ ├── excon.cfg │ │ └── excon.elf │ ├── mldef-alpha │ │ ├── base │ │ │ ├── nat.elf │ │ │ ├── nat.thm │ │ │ └── pre-syntax.elf │ │ ├── correct │ │ │ ├── dec-elab.thm │ │ │ ├── denouement.thm │ │ │ ├── distribute.thm │ │ │ ├── elaboration.thm │ │ │ ├── expr-elab.thm │ │ │ ├── instance.thm │ │ │ ├── match-elab.thm │ │ │ ├── pat-elab.thm │ │ │ ├── resolve.thm │ │ │ ├── sigexp-elab.thm │ │ │ ├── spec-elab.thm │ │ │ ├── strexp-elab.thm │ │ │ └── ty-elab.thm │ │ ├── elaborate │ │ │ ├── dec-elab.elf │ │ │ ├── distribute.elf │ │ │ ├── el.elf │ │ │ ├── elaboration.elf │ │ │ ├── expr-elab.elf │ │ │ ├── instance.elf │ │ │ ├── match-elab.elf │ │ │ ├── pat-elab.elf │ │ │ ├── prepass.elf │ │ │ ├── resolve.elf │ │ │ ├── sigexp-elab.elf │ │ │ ├── spec-elab.elf │ │ │ ├── strexp-elab.elf │ │ │ └── ty-elab.elf │ │ ├── il │ │ │ ├── opsem.elf │ │ │ ├── singleton.elf │ │ │ ├── static.elf │ │ │ ├── syntax.elf │ │ │ └── value.elf │ │ ├── safety │ │ │ ├── canon.thm │ │ │ ├── consistency.thm │ │ │ ├── determinism.thm │ │ │ ├── equality.thm │ │ │ ├── flay-il.thm │ │ │ ├── functionality.thm │ │ │ ├── inversion-static.thm │ │ │ ├── inversion.thm │ │ │ ├── preservation.thm │ │ │ ├── principal.thm │ │ │ ├── progress.thm │ │ │ ├── regularity.thm │ │ │ ├── singleton.thm │ │ │ └── substitution.thm │ │ ├── sing │ │ │ ├── algorithm.elf │ │ │ ├── complete.thm │ │ │ ├── constant.elf │ │ │ ├── convert-effect.thm │ │ │ ├── convert-explicit.thm │ │ │ ├── convert-fun.thm │ │ │ ├── convert-normal.thm │ │ │ ├── convert-reg-il.thm │ │ │ ├── convert-reg.thm │ │ │ ├── convert-sub.thm │ │ │ ├── convert.elf │ │ │ ├── correct.thm │ │ │ ├── el-inversion.thm │ │ │ ├── el.elf │ │ │ ├── equality.thm │ │ │ ├── eregularity.thm │ │ │ ├── esubstitution.thm │ │ │ ├── expand.elf │ │ │ ├── expand.thm │ │ │ ├── explicit-lemmas.thm │ │ │ ├── flay.thm │ │ │ ├── functionality.thm │ │ │ ├── il-simp.elf │ │ │ ├── il.elf │ │ │ ├── ile.elf │ │ │ ├── inversion.thm │ │ │ ├── regularity.thm │ │ │ ├── simplify.thm │ │ │ ├── sound.thm │ │ │ ├── sources.cfg │ │ │ ├── strengthen.thm │ │ │ ├── subst-effect.thm │ │ │ ├── subst-fun.thm │ │ │ ├── substitution.thm │ │ │ ├── subtype-lemmas.thm │ │ │ ├── subtype.elf │ │ │ ├── trans-fun.thm │ │ │ ├── trans-reg.thm │ │ │ ├── trans-sub.thm │ │ │ └── translate.elf │ │ └── sources.cfg │ ├── standard │ │ ├── standard.cfg │ │ └── standard.elf │ ├── substruct │ │ ├── linear.cfg │ │ ├── linear.elf │ │ ├── lineard.cfg │ │ ├── lineard.elf │ │ ├── modal.cfg │ │ └── modal.elf │ ├── synsing │ │ ├── algorithm.elf │ │ ├── complete.thm │ │ ├── constant.elf │ │ ├── convert-effect.thm │ │ ├── convert-explicit.thm │ │ ├── convert-fun.thm │ │ ├── convert-normal.thm │ │ ├── convert-reg-il.thm │ │ ├── convert-reg.thm │ │ ├── convert-sub.thm │ │ ├── convert.elf │ │ ├── correct.thm │ │ ├── el-inversion.thm │ │ ├── el.elf │ │ ├── equality.thm │ │ ├── eregularity.thm │ │ ├── esubstitution.thm │ │ ├── expand.elf │ │ ├── expand.thm │ │ ├── explicit-lemmas.thm │ │ ├── functionality.thm │ │ ├── il-simp.elf │ │ ├── il.elf │ │ ├── ile.elf │ │ ├── inversion.thm │ │ ├── nat.elf │ │ ├── nat.thm │ │ ├── regularity.thm │ │ ├── sound.thm │ │ ├── sources.cfg │ │ ├── strengthen.thm │ │ ├── subst-effect.thm │ │ ├── subst-fun.thm │ │ ├── substitution.thm │ │ ├── subtype-lemmas.thm │ │ ├── subtype.elf │ │ ├── trans-fun.thm │ │ ├── trans-reg.thm │ │ ├── trans-sub.thm │ │ └── translate.elf │ └── tslf │ │ ├── aeq-completeness.elf │ │ ├── aeq.elf │ │ ├── antisymmetry-kinds.elf │ │ ├── antisymmetry-sigs.elf │ │ ├── blocks-cnkd.elf │ │ ├── blocks-predecls-cnkd.elf │ │ ├── blocks-predecls-tmmd.elf │ │ ├── blocks-tmmd.elf │ │ ├── canonical-forms-mods.elf │ │ ├── canonical-forms-terms.elf │ │ ├── constructor-beta.elf │ │ ├── correspondence.thm │ │ ├── dynamic-semantics.elf │ │ ├── explicate-lemmas-sigs.elf │ │ ├── explicate-lemmas.elf │ │ ├── explicate-sigs.elf │ │ ├── explicate.elf │ │ ├── explicit-context-lemmas.elf │ │ ├── explicit-context.elf │ │ ├── explicit-metrics-sigs.elf │ │ ├── explicit-metrics.elf │ │ ├── fst-md-lemmas.elf │ │ ├── fst-sg-lemmas.elf │ │ ├── functionality-cnkd-e.elf │ │ ├── functionality-cnkd.elf │ │ ├── functionality-full.elf │ │ ├── functionality-sigs-e.elf │ │ ├── functionality-sigs.elf │ │ ├── implicate-lemmas-sigs.elf │ │ ├── implicate-lemmas.elf │ │ ├── implicate-sigs.elf │ │ ├── implicate.elf │ │ ├── inequalities.elf │ │ ├── inversions-cons.elf │ │ ├── inversions-deq.elf │ │ ├── inversions-mods.elf │ │ ├── inversions-terms.elf │ │ ├── judgments-loc.elf │ │ ├── judgments-lt.elf │ │ ├── loc-lemmas.elf │ │ ├── location-lemmas.elf │ │ ├── location.elf │ │ ├── lookup-context.elf │ │ ├── lt-lemmas.elf │ │ ├── metrics.elf │ │ ├── notstuck.elf │ │ ├── preservation-fst.elf │ │ ├── preservation-lemmas.elf │ │ ├── preservation-raises.elf │ │ ├── preservation.elf │ │ ├── progress-lemmas-mods.elf │ │ ├── progress-lemmas-terms.elf │ │ ├── progress.elf │ │ ├── proj-val-lemma.elf │ │ ├── projectibility-lemmas.elf │ │ ├── projectibility.elf │ │ ├── raises.elf │ │ ├── reflexivity-kinds.elf │ │ ├── reflexivity-sigs.elf │ │ ├── seq-lemmas-cnkd.elf │ │ ├── seq-lemmas-dyn.elf │ │ ├── seq-lemmas-sigs.elf │ │ ├── seq-lemmas-tmmd.elf │ │ ├── sing │ │ ├── algorithm.elf │ │ ├── complete.thm │ │ ├── constant.elf │ │ ├── convert-effect.thm │ │ ├── convert-explicit.thm │ │ ├── convert-fun.thm │ │ ├── convert-normal.thm │ │ ├── convert-reg-il.thm │ │ ├── convert-reg.thm │ │ ├── convert-sub.thm │ │ ├── convert.elf │ │ ├── correct.thm │ │ ├── el-inversion.thm │ │ ├── el.elf │ │ ├── equality.thm │ │ ├── eregularity.thm │ │ ├── esubstitution.thm │ │ ├── expand.elf │ │ ├── expand.thm │ │ ├── explicit-lemmas.thm │ │ ├── functionality.thm │ │ ├── il-simp.elf │ │ ├── il.elf │ │ ├── ile.elf │ │ ├── inversion.thm │ │ ├── nat.elf │ │ ├── nat.thm │ │ ├── regularity.thm │ │ ├── sound.thm │ │ ├── sources.cfg │ │ ├── strengthen.thm │ │ ├── subst-effect.thm │ │ ├── subst-fun.thm │ │ ├── substitution.thm │ │ ├── subtype-lemmas.thm │ │ ├── subtype.elf │ │ ├── trans-fun.thm │ │ ├── trans-reg.thm │ │ ├── trans-sub.thm │ │ └── translate.elf │ │ ├── singleton-kinds.elf │ │ ├── singleton-lemmas.elf │ │ ├── sources.cfg │ │ ├── static-semantics-cnkd.elf │ │ ├── static-semantics-e.elf │ │ ├── static-semantics-sigs-e.elf │ │ ├── static-semantics-sigs.elf │ │ ├── static-semantics-tmmd.elf │ │ ├── store-typing-lemmas.elf │ │ ├── store-typing.elf │ │ ├── store.elf │ │ ├── strengthening-cnkd.elf │ │ ├── subderivations.elf │ │ ├── substitution-cnkd-e.elf │ │ ├── substitution-mods.elf │ │ ├── substitution-terms.elf │ │ ├── symmetry-kinds.elf │ │ ├── symmetry-sigs.elf │ │ ├── syntax-cnkd.elf │ │ ├── syntax-loc.elf │ │ ├── syntax-lt.elf │ │ ├── syntax-sigs.elf │ │ ├── syntax-tmmd.elf │ │ ├── transitivity-kinds.elf │ │ ├── transitivity-sigs.elf │ │ ├── uninhabited-lemmas-cnkd.elf │ │ ├── uninhabited-lemmas-ltst.elf │ │ ├── uninhabited-lemmas-sigs.elf │ │ ├── uninhabited-lemmas-tmmd.elf │ │ ├── uninhabited.elf │ │ ├── validity-cnkd.elf │ │ ├── validity-sigs.elf │ │ ├── validity-tmmd.elf │ │ ├── value.elf │ │ ├── weakening-cnkd-e.elf │ │ ├── weakening-kinds-cnkd.elf │ │ ├── weakening-kinds-sigs.elf │ │ ├── weakening-lt.elf │ │ ├── worlds-adequacy-cnkd.elf │ │ ├── worlds-adequacy-sigs.elf │ │ └── worlds-adequacy-tmmd.elf ├── evenodd.elf ├── kevin.elf ├── lexing.elf ├── location.elf ├── m.sml ├── meta.sml ├── misc.elf ├── mlton-regression.cm ├── mlton-regression.mlb ├── modes.elf ├── multimode.elf ├── occurs.elf ├── parsing.elf ├── poplmark │ ├── 1a.elf │ ├── 1b.elf │ ├── 2a.elf │ ├── 2b.elf │ └── sources.cfg ├── regression-crary.txt ├── regression-fpcc.txt ├── regression-public.txt ├── regression-talt.txt ├── regression-tslf.txt ├── regression-wiki.mjs ├── regression.sh ├── regression.sml ├── regression.txt ├── relfun.sml ├── runquiet.sml ├── skolem.sml ├── solving.elf ├── strict.elf ├── subord.elf ├── term.elf ├── test.cfg ├── total.elf ├── tprecon.elf ├── unique-bug.elf ├── unique.elf ├── unsafe.sml ├── uscore.elf ├── wiki-misc │ ├── lily.cfg │ ├── lily.elf │ ├── linearlogic.cfg │ └── linearlogic.elf └── worlds.elf ├── TODO ├── bin ├── .cvsignore ├── .dbase │ ├── .cvsignore │ └── README ├── .heap │ ├── .cvsignore │ └── README ├── .mkexec ├── .twelf-server ├── .twelf-server.bat ├── .twelf-sml ├── .twelf-sml.bat ├── buildid ├── 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 ├── alloc-sem │ ├── README │ ├── absurdum.elf │ ├── dynsem-lemmas.elf │ ├── dynsem-lemmas.thm │ ├── dynsem.elf │ ├── exp.elf │ ├── inversion-pres.elf │ ├── inversion-prog.elf │ ├── loc-lemmas.elf │ ├── loc-lemmas.thm │ ├── loc.elf │ ├── machine.elf │ ├── nat-lemmas.elf │ ├── nat-lemmas.thm │ ├── nat.elf │ ├── preservation-lemmas.elf │ ├── preservation.elf │ ├── progress-lemmas.elf │ ├── progress.elf │ ├── safety.elf │ ├── sources-thm.cfg │ ├── sources.cfg │ ├── statsem.elf │ ├── store-lemmas.elf │ ├── store-lemmas.thm │ ├── store.elf │ ├── storetp-lemmas.elf │ ├── storetp-lemmas.thm │ ├── storetp.elf │ ├── syntax.elf │ ├── tp.elf │ ├── val.elf │ ├── weaken.elf │ └── weaken.thm ├── 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 │ ├── simplified │ │ ├── par-cr.elf │ │ └── sources.cfg │ ├── 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 │ ├── cover │ │ └── example.d │ ├── examples.quy │ ├── formulas.elf │ ├── int-admit.elf │ ├── int-cut.elf │ ├── int-elim.elf │ ├── int.elf │ ├── int.thm │ ├── sources.cfg │ └── test.cfg ├── fj │ ├── README.txt │ ├── aux-lemma-prog.elf │ ├── aux-lemma.elf │ ├── false.elf │ ├── fj.elf │ ├── nat.elf │ ├── pres.elf │ ├── progress.elf │ └── sources.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 ├── js4 │ ├── js4.elf │ └── sources.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 ├── modal │ ├── README │ ├── modal-judge.elf │ └── modal.elf ├── polylam │ ├── examples.quy │ ├── polylam.elf │ ├── sources.cfg │ └── test.cfg ├── poplmark │ ├── 1a.elf │ ├── 1b.elf │ ├── 2a.elf │ └── 2b.elf ├── 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 ├── small-step │ ├── README │ ├── lam.elf │ ├── system-f-iso.elf │ └── system-f.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 │ ├── seqCalc │ │ ├── foc.cfg │ │ ├── focus.elf │ │ ├── fol-int-at.elf │ │ ├── formulas.elf │ │ ├── int-atom.elf │ │ ├── int.elf │ │ ├── sources.cfg │ │ ├── tab-at.cfg │ │ ├── tab-ex-all.quy │ │ ├── tab-ex-np.quy │ │ ├── tab-foc-all.quy │ │ ├── tab-fol.cfg │ │ └── 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 └── tapl-ch13 │ ├── README.txt │ ├── defs.elf │ ├── nat.elf │ ├── sources.cfg │ └── theorems.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 ├── server.cm ├── sources.cm ├── src ├── WALK ├── compat │ ├── array-97.sml │ ├── array-slice.sig │ ├── array-slice.sml │ ├── array.sig │ ├── compat-97.sml │ ├── compat-poly02.sml │ ├── compat.fun │ ├── compat.sig │ ├── compat.sml │ ├── mono-array-slice.sig │ ├── path-97.sml │ ├── path.sig │ ├── socket-97.sml │ ├── socket.sig │ ├── socket.sml │ ├── sources.cm │ ├── substring-97.sml │ ├── substring.sig │ ├── text-io-97.sml │ ├── text-io.sig │ ├── time-limit-smlnj.sml │ ├── time-limit.sig │ ├── time-limit.sml │ ├── timer-97.sml │ ├── timer.sig │ ├── vector-97.sml │ ├── vector-slice.sig │ ├── vector-slice.sml │ ├── vector.sig │ ├── word8-array-slice.sml │ ├── word8-vector-slice.sig │ └── word8-vector-slice.sml ├── compile │ ├── README │ ├── assign.fun │ ├── assign.sig │ ├── compile.fun │ ├── compile.sig │ ├── compile.sml │ ├── compsyn.fun │ ├── compsyn.sig │ ├── cprint.fun │ ├── cprint.sig │ ├── sources.cm │ ├── subtree.fun │ └── subtree.sig ├── compress │ ├── compress.fun │ ├── compress.sig │ ├── convert.sml │ ├── parse.sml │ ├── reductio.sml │ ├── rep.sml │ ├── sgn.sml │ ├── sources.cm │ ├── strict.sml │ └── syntax.sml ├── 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-old-smlnj-pack.sml │ ├── flit.fun │ ├── flit.sig │ ├── flit.sml │ ├── script.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 │ └── version.sml ├── 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 ├── inverse │ ├── .cvsignore │ ├── README │ ├── notes │ │ ├── bug.txt │ │ ├── notes.txt │ │ ├── timing.txt │ │ └── timing2.txt │ ├── sml │ │ ├── .cvsignore │ │ ├── context.sig │ │ ├── context.sml │ │ ├── debug.sig │ │ ├── debug.sml │ │ ├── growarray.sig │ │ ├── growarray.sml │ │ ├── layout.sig │ │ ├── layout.sml │ │ ├── lib.sig │ │ ├── lib.sml │ │ ├── print.sig │ │ ├── print.sml │ │ ├── signat.sig │ │ ├── signat.sml │ │ ├── sources.cm │ │ ├── syntax.sig │ │ ├── syntax.sml │ │ ├── table.sig │ │ ├── table.sml │ │ ├── timers.sig │ │ ├── timers.sml │ │ ├── top.sml │ │ ├── translate.sig │ │ ├── translate.sml │ │ ├── typecheck.sig │ │ ├── typecheck.sml │ │ ├── typecheckEE.sml │ │ └── typecheckEL.sml │ └── tex │ │ ├── .cvsignore │ │ ├── Makefile │ │ ├── canonical.tex │ │ ├── commands.tex │ │ ├── eagercheck.tex │ │ ├── images │ │ └── twelf.graffle │ │ ├── inverse.tex │ │ ├── lazycheck.tex │ │ ├── main.tex │ │ ├── old │ │ ├── commands.tex │ │ ├── context.tex │ │ ├── etalong.tex │ │ ├── noncheck.tex │ │ ├── sequent.tex │ │ ├── signat.tex │ │ └── uni.tex │ │ └── questions.txt ├── 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 │ ├── match.fun │ ├── match.sig │ ├── normalize.fun │ ├── normalize.sig │ ├── order.fun │ ├── order.sig │ ├── order.sml │ ├── 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 ├── msg │ ├── msg.sml │ └── sources.cm ├── names │ ├── README │ ├── WALK │ ├── names.fun │ ├── names.sig │ ├── names.sml │ └── sources.cm ├── netserver │ ├── buildheap.sml │ ├── htdocs │ │ ├── floral.png │ │ ├── grad.png │ │ ├── input.png │ │ ├── output.png │ │ ├── server.css │ │ ├── server.html │ │ ├── server.js │ │ └── twelfguy.png │ ├── netserver.sml │ ├── runserver.sh │ └── sources.cm ├── opsem │ ├── README │ ├── WALK │ ├── absmachine-sbt.fun │ ├── absmachine-sbt.sig │ ├── absmachine.fun │ ├── absmachine.sig │ ├── abstract.fun │ ├── abstract.sig │ ├── index.fun │ ├── index.sig │ ├── opsem.sml │ ├── ptrecon.fun │ ├── ptrecon.sig │ ├── sources.cm │ ├── subtree-inst.fun │ ├── subtree.fun │ ├── subtree.sig │ ├── sw-subtree.fun │ ├── sw-subtree.sig │ ├── swmachine.fun │ ├── table-param.fun │ ├── table-param.sig │ ├── table-param.sml │ ├── 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-omdoc.sig │ ├── 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 │ ├── elim.fun │ ├── elim.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 │ ├── mlton-thread.sml │ ├── server.sml │ ├── sigint-mlton.sml │ ├── sigint-noop.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-set.sig │ ├── red-black-set.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 │ ├── time-limit.sml │ ├── 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 │ ├── tomeganames.fun │ ├── tomeganames.sig │ ├── 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 │ ├── worldsyn.fun │ └── worldsyn.sig ├── tex ├── code.sty ├── example.tex └── twelf.sty ├── tools ├── textmate │ ├── README │ └── Twelf.tmbundle │ │ ├── Commands │ │ └── Run.tmCommand │ │ ├── Preferences │ │ ├── Comments.tmPreferences │ │ ├── Indent.tmPreferences │ │ └── Typing Pairs - Declarations.tmPreferences │ │ ├── Syntaxes │ │ └── Twelf.tmLanguage │ │ └── info.plist └── wiki │ └── syntax │ ├── Makefile │ ├── main.hs │ └── parse.hs ├── vim ├── README ├── filetype.vim └── syntax │ └── twelf.vim └── wiki ├── .gitignore ├── CONTRIBUTORS ├── README.md ├── astro.config.mjs ├── elf-to-mdx.mjs ├── elf-watcher.mjs ├── get-wiki-ssg-artifact.sh ├── package-lock.json ├── package.json ├── pages ├── abbrev-declaration.elf ├── about-the-twelf-project.elf ├── abstract-syntax.elf ├── ad-hoc-binding-structures.elf ├── adequacy.elf ├── admissibility-of-cut.elf ├── alpha-equivalence.elf ├── ambiguous-hyperkind.elf ├── ask-twelf-elf-short-answers.elf ├── ask-twelf-elf.elf ├── beta-equivalence.elf ├── bibliography-of-lf.elf ├── big-algebraic-solver.elf ├── bracket-abstraction.elf ├── c-machine-and-focusing-composition-in-machine-state.elf ├── c-machine-and-focusing-internalized-compositon.elf ├── c-machine-and-focusing.elf ├── cade-tutorial-basic-error-messages.elf ├── cade-tutorial-basics-answer.elf ├── cade-tutorial-basics.elf ├── cade-tutorial-combinators-answer.elf ├── cade-tutorial-combinators-support.elf ├── cade-tutorial-combinators.elf ├── cade-tutorial-minml-answer.elf ├── cade-tutorial-minml-encoding.elf ├── cade-tutorial-minml.elf ├── cade-tutorial-next.elf ├── cade-tutorial.elf ├── canonical-form.elf ├── canonical-forms-lemma.elf ├── case-studies.elf ├── catch-all-case.elf ├── category-case-studies.elf ├── category-keywords.elf ├── category-literate-twelf-code.elf ├── category-pages-needing-attention.elf ├── category-stubs.elf ├── category-tutorials-needing-attention.elf ├── category-tutorials.elf ├── category-twelf-code.elf ├── category-undocumented-features.elf ├── church-rosser-via-complete-development.elf ├── church-rosser-w-catch-all-case.elf ├── church-rosser-w-identity-reduction.elf ├── classical-s5.elf ├── computation-and-deduction-2009-20090203.elf ├── computation-and-deduction-2009-20090204.elf ├── computation-and-deduction-2009-20090209.elf ├── computation-and-deduction-2009-20090223.elf ├── computation-and-deduction-2009-20090304-support.elf ├── computation-and-deduction-2009-20090304.elf ├── computation-and-deduction-2009-20090316.elf ├── computation-and-deduction-2009-20090318.elf ├── computation-and-deduction-2009-20090325.elf ├── computation-and-deduction-2009-20090330.elf ├── computation-and-deduction-2009-20090401.elf ├── computation-and-deduction-2009-20090406.elf ├── computation-and-deduction-2009-20090408.elf ├── computation-and-deduction-2009-20090413.elf ├── computation-and-deduction-2009-20090415.elf ├── computation-and-deduction-2009-20090420.elf ├── computation-and-deduction-2009-20090422.elf ├── computation-and-deduction-2009-20090427.elf ├── computation-and-deduction-2009-20090429.elf ├── computation-and-deduction-2009-test-page-1.elf ├── computation-and-deduction-2009.elf ├── concrete-representation.elf ├── congruence-relation.elf ├── constraint-domain.elf ├── constraint-domains-and-coverage-checking.elf ├── constructivesemantics.elf ├── converting-between-implicit-and-explicit-parameters.elf ├── correctness-of-mergesort.elf ├── coverage-checking.elf ├── cps-conversion.elf ├── debugging-coverage-errors.elf ├── debugging-mode-checking-errors.elf ├── define-declaration.elf ├── dependent-types.elf ├── deterministic-declaration.elf ├── division-over-the-natural-numbers.elf ├── documentation.elf ├── double-negation-translation.elf ├── download.elf ├── effectiveness-lemma.elf ├── elves-main-page.elf ├── elves-talk-main-page.elf ├── equality.elf ├── equivalence-relation.elf ├── error-messages.elf ├── eta-equivalence.elf ├── evaluation-contexts.elf ├── exchange-lemma.elf ├── explicit-context.elf ├── file-disk-download-gif.elf ├── file-serverok-png.elf ├── file-smalltree-svg.elf ├── file-sudokuexample-svg.elf ├── file-tom-twelfelf2-jpg.elf ├── file-twelflive-1-png.elf ├── file-twelflive-2-png.elf ├── file-twelflive-3-png.elf ├── first-order-encodings.elf ├── fixity-declaration.elf ├── focusing.elf ├── function.elf ├── general-description-of-twelf.elf ├── glossary.elf ├── ground.elf ├── hereditary-substitution-for-the-stlc-part-2.elf ├── hereditary-substitution-for-the-stlc.elf ├── hereditary-substitution-with-a-zipper.elf ├── hereditary-substitution.elf ├── higher-order-abstract-syntax.elf ├── higher-order-judgements.elf ├── hoas-nat-bijection.elf ├── hypothetical-judgment.elf ├── implicit-and-explicit-parameters.elf ├── incremental-metatheorem-development.elf ├── indexed-hoas-nat-bijection.elf ├── indexed-lists.elf ├── intrinsic-and-extrinsic-encodings.elf ├── introductions-to-twelf.elf ├── iterated-inductive-definitions-and-defunctionalization.elf ├── iterated-let-bindings.elf ├── judgment.elf ├── lax-logic.elf ├── letrec.elf ├── lexicographical-orderings-with-density.elf ├── lf.elf ├── lily.elf ├── linear-logic.elf ├── lists.elf ├── logic-programming.elf ├── mailing-lists.elf ├── manipulating-proof-witnesses-as-inputs.elf ├── mediawiki-copyrightwarning.elf ├── mediawiki-copyrightwarning2.elf ├── mediawiki-edittools.elf ├── mediawiki-fileinfo.elf ├── mediawiki-formatting-description.elf ├── mediawiki-loginreqpagetext.elf ├── mediawiki-monobook-css.elf ├── mediawiki-newwindow.elf ├── mediawiki-previewnote.elf ├── mediawiki-privacy.elf ├── mediawiki-privacypage.elf ├── mediawiki-sidebar.elf ├── mediawiki-talk-sidebar.elf ├── meta-logic.elf ├── metatheorem.elf ├── minmltominhaskell.elf ├── modal-logic.elf ├── modally-propositional-logic.elf ├── modes-of-use.elf ├── mutable-state.elf ├── mutual-induction.elf ├── naming-conventions.elf ├── natural-numbers-with-inequality.elf ├── natural-numbers.elf ├── negation-as-failure.elf ├── numeric-termination-metrics.elf ├── object-logic.elf ├── output-factoring.elf ├── output-freeness.elf ├── pattern-matching.elf ├── percent-assert.elf ├── percent-block.elf ├── percent-clause.elf ├── percent-covers.elf ├── percent-eof.elf ├── percent-establish.elf ├── percent-freeze.elf ├── percent-mode.elf ├── percent-name.elf ├── percent-prove.elf ├── percent-query.elf ├── percent-querytabled.elf ├── percent-reduces.elf ├── percent-solve.elf ├── percent-subord.elf ├── percent-tabled.elf ├── percent-terminates.elf ├── percent-thaw.elf ├── percent-theorem.elf ├── percent-total.elf ├── percent-trustme.elf ├── percent-unique.elf ├── percent-use.elf ├── percent-worlds.elf ├── pltheory-introduction-to-twelf.elf ├── polarized-pcf.elf ├── popl-tutorial-basic-error-messages.elf ├── popl-tutorial-basics-answer.elf ├── popl-tutorial-basics-starter.elf ├── popl-tutorial-basics.elf ├── popl-tutorial-big-step-small-step-solution.elf ├── popl-tutorial-big-step-small-step.elf ├── popl-tutorial-church-rosser-problem.elf ├── popl-tutorial-combinators-answer.elf ├── popl-tutorial-combinators-karl.elf ├── popl-tutorial-combinators-session-answers.elf ├── popl-tutorial-combinators-session.elf ├── popl-tutorial-combinators-support.elf ├── popl-tutorial-combinators.elf ├── popl-tutorial-control-machine.elf ├── popl-tutorial-cost-semantics.elf ├── popl-tutorial-cps-ctp.elf ├── popl-tutorial-cps-problem.elf ├── popl-tutorial-cps-problem2.elf ├── popl-tutorial-cps-rp.elf ├── popl-tutorial-cps-solution2.elf ├── popl-tutorial-cps-solutions.elf ├── popl-tutorial-cps-truefalse.elf ├── popl-tutorial-cps.elf ├── popl-tutorial-evaluation-contexts-intrinsic.elf ├── popl-tutorial-exceptions-problem.elf ├── popl-tutorial-exceptions.elf ├── popl-tutorial-minml-answer.elf ├── popl-tutorial-minml-encoding.elf ├── popl-tutorial-minml-preservation-theorem-solution.elf ├── popl-tutorial-minml-preservation-theorem.elf ├── popl-tutorial-minml-starter.elf ├── popl-tutorial-minml.elf ├── popl-tutorial-nat.elf ├── popl-tutorial-new-language.elf ├── popl-tutorial-next.elf ├── popl-tutorial-pattern-matching.elf ├── popl-tutorial-problems.elf ├── popl-tutorial-properties-of-typing-and-reduction.elf ├── popl-tutorial-saturday.elf ├── popl-tutorial-sequent-vs-natural-deduction-solution.elf ├── popl-tutorial-sequent-vs-natural-deduction.elf ├── popl-tutorial-session-2-answer.elf ├── popl-tutorial-session-2-script.elf ├── popl-tutorial-session-2-starter.elf ├── popl-tutorial-session-2.elf ├── popl-tutorial-session-4-answer.elf ├── popl-tutorial-session-4-live.elf ├── popl-tutorial-session-4-starter.elf ├── popl-tutorial-session-4.elf ├── popl-tutorial-session-5.elf ├── popl-tutorial-thursday.elf ├── popl-tutorial-typed-bracket-abstraction-solution.elf ├── popl-tutorial-typed-bracket-abstraction-with-equivalence.elf ├── popl-tutorial-typed-bracket-abstraction.elf ├── popl-tutorial.elf ├── programming-language-theory-with-twelf.elf ├── proving-metatheorems-full-lf.elf ├── proving-metatheorems-natural-numbers-answers-to-exercises.elf ├── proving-metatheorems-proving-metatheorems-about-the-natural-numbers.elf ├── proving-metatheorems-proving-metatheorems-about-the-stlc.elf ├── proving-metatheorems-proving-metatheorems-in-non-empty-contexts.elf ├── proving-metatheorems-proving-totality-assertions-about-the-natural-numbers.elf ├── proving-metatheorems-proving-totality-assertions-in-non-empty-contexts.elf ├── proving-metatheorems-representing-the-judgements-of-the-natural-numbers.elf ├── proving-metatheorems-representing-the-judgements-of-the-stlc.elf ├── proving-metatheorems-representing-the-syntax-of-the-natural-numbers.elf ├── proving-metatheorems-representing-the-syntax-of-the-stlc.elf ├── proving-metatheorems-simply-typed-lf.elf ├── proving-metatheorems-solution-plus-comm.elf ├── proving-metatheorems-solutions-define-odd.elf ├── proving-metatheorems-solutions-odd-even-plus.elf ├── proving-metatheorems-solutions-odd-even-succ.elf ├── proving-metatheorems-stlc-answers-to-exercises.elf ├── proving-metatheorems-summary-the-natural-numbers.elf ├── proving-metatheorems-summary-the-stlc.elf ├── proving-metatheorems-talk-representing-the-judgements-of-the-natural-numbers.elf ├── proving-metatheorems-talk-representing-the-judgements-of-the-stlc.elf ├── proving-metatheorems-talk-representing-the-syntax-of-the-stlc.elf ├── proving-metatheorems-talk-simply-typed-lf.elf ├── proving-metatheorems-with-twelf.elf ├── reasoning-from-false.elf ├── reformulating-languages-to-use-hypothetical-judgements.elf ├── relation.elf ├── release-history.elf ├── research-projects-using-twelf.elf ├── respects-lemma.elf ├── sets-and-supersets.elf ├── signature-checking.elf ├── signatures-as-logic-programs.elf ├── simplifying-dynamic-clauses.elf ├── simply-typed-lambda-calculus.elf ├── strengthening.elf ├── structural-metrics.elf ├── subordination.elf ├── substitution-lemma.elf ├── sudoku.elf ├── summer-school-2008-alternate-typed-arithmetic-expressions-with-sums.elf ├── summer-school-2008-arithmetic-expressions-with-call-by-value-let-binding.elf ├── summer-school-2008-arithmetic-expressions-with-let-binding-hypothetical-evaluation.elf ├── summer-school-2008-arithmetic-expressions-with-let-binding.elf ├── summer-school-2008-arithmetic-expressions.elf ├── summer-school-2008-encoding-of-system-f.elf ├── summer-school-2008-exercises-1.elf ├── summer-school-2008-exercises-2.elf ├── summer-school-2008-exercises-3.elf ├── summer-school-2008-type-safety-for-minml-extrinsic-encoding.elf ├── summer-school-2008-type-safety-for-minml-intrinsic-encoding.elf ├── summer-school-2008-type-safety-for-minml-with-monadic-effects-putngetn.elf ├── summer-school-2008-type-safety-for-minml-with-monadic-effects.elf ├── summer-school-2008-type-safety-for-polymorphic-minml-intrinsic-encoding.elf ├── summer-school-2008-typed-arithmetic-expressions-extrinsic-encoding.elf ├── summer-school-2008-typed-arithmetic-expressions-value.elf ├── summer-school-2008-typed-arithmetic-expressions-with-pairs.elf ├── summer-school-2008-typed-arithmetic-expressions-with-sums-2.elf ├── summer-school-2008-typed-arithmetic-expressions-with-sums.elf ├── summer-school-2008-typed-arithmetic-expressions.elf ├── summer-school-2008.elf ├── syntax-object-logic.elf ├── tabled-logic-programming.elf ├── tactical-theorem-proving.elf ├── talk-ad-hoc-binding-structures.elf ├── talk-admissibility-of-cut.elf ├── talk-alpha-equivalence.elf ├── talk-ask-twelf-elf-archive-1.elf ├── talk-ask-twelf-elf-archive-2.elf ├── talk-ask-twelf-elf.elf ├── talk-canonical-forms-lemma.elf ├── talk-case-studies.elf ├── talk-classical-s5.elf ├── talk-constraint-domains-and-coverage-checking.elf ├── talk-converting-between-implicit-and-explicit-parameters.elf ├── talk-coverage-checking.elf ├── talk-covers.elf ├── talk-cps-conversion.elf ├── talk-debugging-coverage-errors.elf ├── talk-define-declaration.elf ├── talk-documentation.elf ├── talk-download.elf ├── talk-effectiveness-lemma.elf ├── talk-equality.elf ├── talk-exchange-lemma.elf ├── talk-freeze.elf ├── talk-general-description-of-twelf.elf ├── talk-glossary.elf ├── talk-implicit-and-explicit-parameters.elf ├── talk-incremental-metatheorem-development.elf ├── talk-introductions-to-twelf.elf ├── talk-letrec.elf ├── talk-lily.elf ├── talk-lists.elf ├── talk-main-page.elf ├── talk-meta-logic.elf ├── talk-metatheorem.elf ├── talk-modes-of-use.elf ├── talk-mutable-state.elf ├── talk-natural-numbers-with-inequality.elf ├── talk-numeric-termination-metrics.elf ├── talk-output-factoring.elf ├── talk-output-freeness.elf ├── talk-programming-language-theory-with-twelf.elf ├── talk-proving-metatheorems-with-twelf.elf ├── talk-reduces.elf ├── talk-reformulating-languages-to-use-hypothetical-judgements.elf ├── talk-respects-lemma.elf ├── talk-strengthening.elf ├── talk-substitution-lemma.elf ├── talk-thaw.elf ├── talk-theorem.elf ├── talk-totality-assertion.elf ├── talk-tutorials.elf ├── talk-twelf-live.elf ├── talk-twelf-style-guide.elf ├── talk-twelf-with-emacs.elf ├── talk-uniqueness-lemma.elf ├── talk-users-guide.elf ├── talk-using-nat-less-with-reduces.elf ├── talk-whats-new.elf ├── talk-worlds.elf ├── tat-church-elf.elf ├── tat-plus-elf.elf ├── template-bibtex-af04dependent.elf ├── template-bibtex-crary03talt.elf ├── template-bibtex-fm97lax.elf ├── template-bibtex-hhp93lf.elf ├── template-bibtex-hl07mechanizing.elf ├── template-bibtex-lch07ml.elf ├── template-bibtex-pd01modal.elf ├── template-bibtex-pierce02tapl.elf ├── template-bottom.elf ├── template-box.elf ├── template-case-study.elf ├── template-click-inline.elf ├── template-darrow.elf ├── template-dia.elf ├── template-discuss.elf ├── template-draft.elf ├── template-exists.elf ├── template-forall.elf ├── template-front-getting-started.elf ├── template-front-release-history.elf ├── template-front-whats-new.elf ├── template-guide.elf ├── template-keyword.elf ├── template-license-by-nc.elf ├── template-license-by-sa.elf ├── template-license-gfdl.elf ├── template-license-gpl.elf ├── template-literatetwelf.elf ├── template-lolli.elf ├── template-needs.elf ├── template-needswork.elf ├── template-oplus.elf ├── template-otimes.elf ├── template-proving-metatheorems.elf ├── template-proving.elf ├── template-repository.elf ├── template-rule.elf ├── template-stub-tutorial.elf ├── template-stub.elf ├── template-summer-school-2008.elf ├── template-talk-bibtex-hl07mechanizing.elf ├── template-talk-click-inline.elf ├── template-talk-guide.elf ├── template-talk-the-twelf-project-introduction.elf ├── template-the-twelf-project-getting-started.elf ├── template-the-twelf-project-introduction.elf ├── template-tl.elf ├── template-top.elf ├── template-tutorial.elf ├── template-twelf-code.elf ├── template-undocumented.elf ├── template-vdash.elf ├── tethered-modal-logic.elf ├── the-twelf-project-1-0.elf ├── the-twelf-project-ajalf.elf ├── the-twelf-project-by-nc.elf ├── the-twelf-project-by-sa.elf ├── the-twelf-project-contributing.elf ├── the-twelf-project-contributors.elf ├── the-twelf-project-copyright.elf ├── the-twelf-project-geshi-twelf-extension.elf ├── the-twelf-project-gfdl.elf ├── the-twelf-project-gpl.elf ├── the-twelf-project-literate-twelf-sample-page.elf ├── the-twelf-project-literate-twelf.elf ├── the-twelf-project-mit-license.elf ├── the-twelf-project-policy.elf ├── the-twelf-project-protected-page.elf ├── the-twelf-project-style-guide.elf ├── the-twelf-project-subversion-transition.elf ├── the-twelf-project-syntax-highlighting.elf ├── the-twelf-project-talk-ajalf.elf ├── the-twelf-project-talk-copyright.elf ├── the-twelf-project-talk-geshi-twelf-extension.elf ├── the-twelf-project-talk-policy.elf ├── the-twelf-project-talk-style-guide.elf ├── the-twelf-project-talk-to-do.elf ├── the-twelf-project-talk-twelftag.elf ├── the-twelf-project-to-do-syntax-highlighting.elf ├── the-twelf-project-to-do.elf ├── the-twelf-project-twelftag.elf ├── theorem-prover.elf ├── totality-assertion.elf ├── tutorials.elf ├── twelf-elf-rotation-charter.elf ├── twelf-live.elf ├── twelf-signature.elf ├── twelf-style-guide.elf ├── twelf-with-emacs.elf ├── twelf-without-emacs.elf ├── twelftag.elf ├── type-family.elf ├── typed-combinators-soundness-and-completeness.elf ├── unification.elf ├── uniqueness-lemma.elf ├── unsafe-mode.elf ├── user-boyland.elf ├── user-carsten.elf ├── user-ccasin.elf ├── user-cmartens.elf ├── user-crary.elf ├── user-danielklee.elf ├── user-defined-constraint-domain.elf ├── user-drl.elf ├── user-hdeyoung-monweakfoc-elf.elf ├── user-hdeyoung.elf ├── user-jaked.elf ├── user-jcreed-sandbox.elf ├── user-jcreed.elf ├── user-newtestuser.elf ├── user-rsimmons-cr2.elf ├── user-rsimmons-fillholes-elf.elf ├── user-rsimmons-fluid-binding.elf ├── user-rsimmons-handled-exceptions.elf ├── user-rsimmons-homework-6.elf ├── user-rsimmons-homework-7-proofs-in-twelf.elf ├── user-rsimmons-lecture-20-logic-programming.elf ├── user-rsimmons-lecture-23-typed-lambda-calculus-in-twelf.elf ├── user-rsimmons.elf ├── user-spoons.elf ├── user-talk-128-2-223-28.elf ├── user-talk-128-237-241-108.elf ├── user-talk-aleffert.elf ├── user-talk-alepa.elf ├── user-talk-boyland.elf ├── user-talk-ccasin.elf ├── user-talk-crary.elf ├── user-talk-danielklee.elf ├── user-talk-drdreyer.elf ├── user-talk-drl.elf ├── user-talk-hdeyoung.elf ├── user-talk-jaked.elf ├── user-talk-jcreed.elf ├── user-talk-neel.elf ├── user-talk-popik.elf ├── user-talk-rpollack.elf ├── user-talk-rsimmons.elf ├── user-talk-spoons.elf ├── user-talk-twilson.elf ├── user-talk-varming.elf ├── user-talk-william-lovas.elf ├── user-testuser.elf ├── user-thetwelfelf.elf ├── user-tom7-test-elf.elf ├── user-tom7.elf ├── user-twilson.elf ├── user-varming.elf ├── user-william-lovas.elf ├── users-guide.elf ├── using-nat-less-with-reduces.elf ├── verifications-and-uses-in-hlf.elf ├── verifications-and-uses-with-zippers.elf ├── verifications-and-uses.elf ├── weak-focusing.elf ├── weakening-lemma.elf ├── whats-new.elf ├── world-subsumption.elf └── zermelo-frankel.elf ├── public ├── favicon.ico ├── google8f73ccecbffff8d5.html ├── hat-code │ └── demo.json ├── mediawiki-name-recovery-map.json ├── robots.txt └── socialelf.jpg ├── src ├── assets │ ├── github-edit.png │ ├── github-view.png │ ├── mediawiki-archive-recovery-map.json │ ├── mediumelf.png │ ├── serverok.png │ └── smalltree.png ├── components │ ├── DisplayMath.astro │ ├── Footer.astro │ ├── Forward.astro │ ├── Guide.astro │ ├── Head.astro │ ├── Keyword.astro │ ├── Math.astro │ ├── Todo.astro │ ├── Twelf.astro │ └── js │ │ ├── tokenizer-highlighter.ts │ │ ├── tokenizer-types.ts │ │ ├── twelf-runner.ts │ │ └── twelf-tokenizer.ts ├── content │ ├── config.ts │ └── docs │ │ ├── 404.mdx │ │ ├── bibliography.md │ │ ├── contributing.mdx │ │ ├── download.md │ │ ├── index.mdx │ │ ├── release-history.md │ │ ├── todo.mdx │ │ └── wiki-syntax.mdx ├── env.d.ts └── styles │ ├── syntax.css │ └── wiki.css └── tsconfig.json /.gitignore: -------------------------------------------------------------------------------- 1 | CM 2 | .cm 3 | src/frontend/buildid.sml -------------------------------------------------------------------------------- /DISTRIBUTE/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/DISTRIBUTE/README -------------------------------------------------------------------------------- /DISTRIBUTE/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/DISTRIBUTE/build.sh -------------------------------------------------------------------------------- /DISTRIBUTE/controller-osx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/DISTRIBUTE/controller-osx.sh -------------------------------------------------------------------------------- /DISTRIBUTE/osx/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/DISTRIBUTE/osx/Makefile -------------------------------------------------------------------------------- /HISTORY: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/HISTORY -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/README.md -------------------------------------------------------------------------------- /TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/Makefile -------------------------------------------------------------------------------- /TEST/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/README -------------------------------------------------------------------------------- /TEST/all-nt.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/all-nt.sml -------------------------------------------------------------------------------- /TEST/all.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/all.sml -------------------------------------------------------------------------------- /TEST/anonymous.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/anonymous.elf -------------------------------------------------------------------------------- /TEST/clause.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/clause.elf -------------------------------------------------------------------------------- /TEST/constr.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/constr.elf -------------------------------------------------------------------------------- /TEST/constr2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/constr2.elf -------------------------------------------------------------------------------- /TEST/cover.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/cover.elf -------------------------------------------------------------------------------- /TEST/cp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/cp.elf -------------------------------------------------------------------------------- /TEST/cp2nd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/cp2nd.sml -------------------------------------------------------------------------------- /TEST/cp3rd.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/cp3rd.sml -------------------------------------------------------------------------------- /TEST/cr.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/cr.sml -------------------------------------------------------------------------------- /TEST/crary/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/README -------------------------------------------------------------------------------- /TEST/crary/explicit/excon-rev.cfg: -------------------------------------------------------------------------------- 1 | excon-rev.elf -------------------------------------------------------------------------------- /TEST/crary/explicit/excon.cfg: -------------------------------------------------------------------------------- 1 | excon.elf -------------------------------------------------------------------------------- /TEST/crary/standard/standard.cfg: -------------------------------------------------------------------------------- 1 | standard.elf -------------------------------------------------------------------------------- /TEST/crary/substruct/linear.cfg: -------------------------------------------------------------------------------- 1 | linear.elf -------------------------------------------------------------------------------- /TEST/crary/substruct/lineard.cfg: -------------------------------------------------------------------------------- 1 | lineard.elf -------------------------------------------------------------------------------- /TEST/crary/substruct/modal.cfg: -------------------------------------------------------------------------------- 1 | modal.elf -------------------------------------------------------------------------------- /TEST/crary/synsing/el.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/synsing/el.elf -------------------------------------------------------------------------------- /TEST/crary/synsing/il.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/synsing/il.elf -------------------------------------------------------------------------------- /TEST/crary/synsing/ile.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/synsing/ile.elf -------------------------------------------------------------------------------- /TEST/crary/synsing/nat.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/synsing/nat.elf -------------------------------------------------------------------------------- /TEST/crary/synsing/nat.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/synsing/nat.thm -------------------------------------------------------------------------------- /TEST/crary/synsing/sound.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/synsing/sound.thm -------------------------------------------------------------------------------- /TEST/crary/tslf/aeq.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/aeq.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/location.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/location.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/lookup-context.elf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /TEST/crary/tslf/metrics.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/metrics.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/notstuck.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/notstuck.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/progress.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/progress.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/raises.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/raises.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/sing/el.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/sing/el.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/sing/il.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/sing/il.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/sing/ile.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/sing/ile.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/sing/nat.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/sing/nat.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/sing/nat.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/sing/nat.thm -------------------------------------------------------------------------------- /TEST/crary/tslf/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/sources.cfg -------------------------------------------------------------------------------- /TEST/crary/tslf/store.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/store.elf -------------------------------------------------------------------------------- /TEST/crary/tslf/value.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/crary/tslf/value.elf -------------------------------------------------------------------------------- /TEST/evenodd.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/evenodd.elf -------------------------------------------------------------------------------- /TEST/kevin.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/kevin.elf -------------------------------------------------------------------------------- /TEST/lexing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/lexing.elf -------------------------------------------------------------------------------- /TEST/location.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/location.elf -------------------------------------------------------------------------------- /TEST/m.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/m.sml -------------------------------------------------------------------------------- /TEST/meta.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/meta.sml -------------------------------------------------------------------------------- /TEST/misc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/misc.elf -------------------------------------------------------------------------------- /TEST/mlton-regression.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/mlton-regression.cm -------------------------------------------------------------------------------- /TEST/mlton-regression.mlb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/mlton-regression.mlb -------------------------------------------------------------------------------- /TEST/modes.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/modes.elf -------------------------------------------------------------------------------- /TEST/multimode.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/multimode.elf -------------------------------------------------------------------------------- /TEST/occurs.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/occurs.elf -------------------------------------------------------------------------------- /TEST/parsing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/parsing.elf -------------------------------------------------------------------------------- /TEST/poplmark/1a.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/poplmark/1a.elf -------------------------------------------------------------------------------- /TEST/poplmark/1b.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/poplmark/1b.elf -------------------------------------------------------------------------------- /TEST/poplmark/2a.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/poplmark/2a.elf -------------------------------------------------------------------------------- /TEST/poplmark/2b.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/poplmark/2b.elf -------------------------------------------------------------------------------- /TEST/poplmark/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/poplmark/sources.cfg -------------------------------------------------------------------------------- /TEST/regression-crary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression-crary.txt -------------------------------------------------------------------------------- /TEST/regression-fpcc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression-fpcc.txt -------------------------------------------------------------------------------- /TEST/regression-public.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression-public.txt -------------------------------------------------------------------------------- /TEST/regression-talt.txt: -------------------------------------------------------------------------------- 1 | test ../../twelf-regression/talt-lf/sources.cfg 2 | 3 | -------------------------------------------------------------------------------- /TEST/regression-tslf.txt: -------------------------------------------------------------------------------- 1 | test ../../twelf-regression/ts-lf/sources.cfg 2 | 3 | -------------------------------------------------------------------------------- /TEST/regression-wiki.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression-wiki.mjs -------------------------------------------------------------------------------- /TEST/regression.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression.sh -------------------------------------------------------------------------------- /TEST/regression.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression.sml -------------------------------------------------------------------------------- /TEST/regression.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/regression.txt -------------------------------------------------------------------------------- /TEST/relfun.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/relfun.sml -------------------------------------------------------------------------------- /TEST/runquiet.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/runquiet.sml -------------------------------------------------------------------------------- /TEST/skolem.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/skolem.sml -------------------------------------------------------------------------------- /TEST/solving.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/solving.elf -------------------------------------------------------------------------------- /TEST/strict.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/strict.elf -------------------------------------------------------------------------------- /TEST/subord.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/subord.elf -------------------------------------------------------------------------------- /TEST/term.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/term.elf -------------------------------------------------------------------------------- /TEST/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/test.cfg -------------------------------------------------------------------------------- /TEST/total.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/total.elf -------------------------------------------------------------------------------- /TEST/tprecon.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/tprecon.elf -------------------------------------------------------------------------------- /TEST/unique-bug.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/unique-bug.elf -------------------------------------------------------------------------------- /TEST/unique.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/unique.elf -------------------------------------------------------------------------------- /TEST/unsafe.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/unsafe.sml -------------------------------------------------------------------------------- /TEST/uscore.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/uscore.elf -------------------------------------------------------------------------------- /TEST/wiki-misc/lily.cfg: -------------------------------------------------------------------------------- 1 | lily.elf 2 | -------------------------------------------------------------------------------- /TEST/wiki-misc/lily.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/wiki-misc/lily.elf -------------------------------------------------------------------------------- /TEST/wiki-misc/linearlogic.cfg: -------------------------------------------------------------------------------- 1 | linearlogic.elf 2 | -------------------------------------------------------------------------------- /TEST/worlds.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TEST/worlds.elf -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/TODO -------------------------------------------------------------------------------- /bin/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.cvsignore -------------------------------------------------------------------------------- /bin/.dbase/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf* 2 | -------------------------------------------------------------------------------- /bin/.dbase/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.dbase/README -------------------------------------------------------------------------------- /bin/.heap/.cvsignore: -------------------------------------------------------------------------------- 1 | delphin* 2 | twelf* 3 | -------------------------------------------------------------------------------- /bin/.heap/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.heap/README -------------------------------------------------------------------------------- /bin/.mkexec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.mkexec -------------------------------------------------------------------------------- /bin/.twelf-server: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.twelf-server -------------------------------------------------------------------------------- /bin/.twelf-server.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.twelf-server.bat -------------------------------------------------------------------------------- /bin/.twelf-sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.twelf-sml -------------------------------------------------------------------------------- /bin/.twelf-sml.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/.twelf-sml.bat -------------------------------------------------------------------------------- /bin/buildid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/buildid -------------------------------------------------------------------------------- /bin/clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/clean -------------------------------------------------------------------------------- /bin/clean-cm: -------------------------------------------------------------------------------- 1 | #! /bin/csh -f 2 | # 3 | find . -name CM -exec rm -rf '{}' \; 4 | -------------------------------------------------------------------------------- /bin/create-tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/create-tags -------------------------------------------------------------------------------- /bin/tag-examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/tag-examples -------------------------------------------------------------------------------- /bin/tag-twelf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/bin/tag-twelf -------------------------------------------------------------------------------- /delphin.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/delphin.cm -------------------------------------------------------------------------------- /delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/delphin.sml -------------------------------------------------------------------------------- /doc/UPDATE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/doc/UPDATE -------------------------------------------------------------------------------- /doc/dvi/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.dvi 2 | -------------------------------------------------------------------------------- /doc/guide/.cvsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/doc/guide/.cvsignore -------------------------------------------------------------------------------- /doc/guide/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/doc/guide/Makefile -------------------------------------------------------------------------------- /doc/guide/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/doc/guide/README -------------------------------------------------------------------------------- /doc/guide/config.embed: -------------------------------------------------------------------------------- 1 | p +/afs/cs/project/twelf/misc/ps-type1/embed.map 2 | -------------------------------------------------------------------------------- /doc/guide/twelf.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/doc/guide/twelf.texi -------------------------------------------------------------------------------- /doc/html/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf_*.html 2 | -------------------------------------------------------------------------------- /doc/html/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/doc/html/index.html -------------------------------------------------------------------------------- /doc/info/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.info* 2 | -------------------------------------------------------------------------------- /doc/pdf/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.pdf 2 | -------------------------------------------------------------------------------- /doc/ps/.cvsignore: -------------------------------------------------------------------------------- 1 | twelf.ps 2 | -------------------------------------------------------------------------------- /emacs/.cvsignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /emacs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/emacs/README -------------------------------------------------------------------------------- /emacs/auc-menu.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/emacs/auc-menu.el -------------------------------------------------------------------------------- /emacs/twelf-font.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/emacs/twelf-font.el -------------------------------------------------------------------------------- /emacs/twelf-hilit.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/emacs/twelf-hilit.el -------------------------------------------------------------------------------- /emacs/twelf-init.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/emacs/twelf-init.el -------------------------------------------------------------------------------- /emacs/twelf.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/emacs/twelf.el -------------------------------------------------------------------------------- /examples-clp/arith/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/arith/eval.elf -------------------------------------------------------------------------------- /examples-clp/arith/parse.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/arith/parse.elf -------------------------------------------------------------------------------- /examples-clp/arith/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/arith/test.cfg -------------------------------------------------------------------------------- /examples-clp/base/base.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/base/base.elf -------------------------------------------------------------------------------- /examples-clp/base/sources.cfg: -------------------------------------------------------------------------------- 1 | base.elf 2 | -------------------------------------------------------------------------------- /examples-clp/base/test.cfg: -------------------------------------------------------------------------------- 1 | base.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /examples-clp/crypt/crypt.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/crypt/crypt.elf -------------------------------------------------------------------------------- /examples-clp/crypt/sources.cfg: -------------------------------------------------------------------------------- 1 | crypt.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /examples-clp/crypt/test.cfg: -------------------------------------------------------------------------------- 1 | crypt.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /examples-clp/laplace/sources.cfg: -------------------------------------------------------------------------------- 1 | laplace.elf -------------------------------------------------------------------------------- /examples-clp/laplace/test.cfg: -------------------------------------------------------------------------------- 1 | laplace.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /examples-clp/lists/lists.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/lists/lists.elf -------------------------------------------------------------------------------- /examples-clp/lists/sources.cfg: -------------------------------------------------------------------------------- 1 | lists.elf -------------------------------------------------------------------------------- /examples-clp/lists/test.cfg: -------------------------------------------------------------------------------- 1 | lists.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /examples-clp/mortgage/sources.cfg: -------------------------------------------------------------------------------- 1 | mortgage.elf -------------------------------------------------------------------------------- /examples-clp/mortgage/test.cfg: -------------------------------------------------------------------------------- 1 | mortgage.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /examples-clp/pelletier/sources.cfg: -------------------------------------------------------------------------------- 1 | pelletier.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /examples-clp/pelletier/test.cfg: -------------------------------------------------------------------------------- 1 | pelletier.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /examples-clp/sieve/sieve.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples-clp/sieve/sieve.elf -------------------------------------------------------------------------------- /examples-clp/sieve/sources.cfg: -------------------------------------------------------------------------------- 1 | sieve2.elf 2 | -------------------------------------------------------------------------------- /examples-clp/sieve/test.cfg: -------------------------------------------------------------------------------- 1 | sieve2.elf 2 | 3 | examples.quy 4 | -------------------------------------------------------------------------------- /examples-delphin/carsten/mini-ml/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf -------------------------------------------------------------------------------- /examples-delphin/mini-ml/sources.cfg: -------------------------------------------------------------------------------- 1 | mini-ml.elf -------------------------------------------------------------------------------- /examples/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/README -------------------------------------------------------------------------------- /examples/alloc-sem/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/README -------------------------------------------------------------------------------- /examples/alloc-sem/exp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/exp.elf -------------------------------------------------------------------------------- /examples/alloc-sem/loc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/loc.elf -------------------------------------------------------------------------------- /examples/alloc-sem/nat.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/nat.elf -------------------------------------------------------------------------------- /examples/alloc-sem/store.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/store.elf -------------------------------------------------------------------------------- /examples/alloc-sem/tp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/tp.elf -------------------------------------------------------------------------------- /examples/alloc-sem/val.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/alloc-sem/val.elf -------------------------------------------------------------------------------- /examples/arith/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/arith/README -------------------------------------------------------------------------------- /examples/arith/arith.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/arith/arith.elf -------------------------------------------------------------------------------- /examples/arith/arith.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/arith/arith.thm -------------------------------------------------------------------------------- /examples/arith/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/arith/sources.cfg -------------------------------------------------------------------------------- /examples/arith/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/arith/test.cfg -------------------------------------------------------------------------------- /examples/ccc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/README -------------------------------------------------------------------------------- /examples/ccc/abs-env.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/abs-env.elf -------------------------------------------------------------------------------- /examples/ccc/catlem.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/catlem.elf -------------------------------------------------------------------------------- /examples/ccc/ccc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/ccc.elf -------------------------------------------------------------------------------- /examples/ccc/conc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/conc.elf -------------------------------------------------------------------------------- /examples/ccc/conc.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/conc.thm -------------------------------------------------------------------------------- /examples/ccc/cong.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/cong.elf -------------------------------------------------------------------------------- /examples/ccc/eqpres1.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/eqpres1.elf -------------------------------------------------------------------------------- /examples/ccc/eqpres2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/eqpres2.elf -------------------------------------------------------------------------------- /examples/ccc/examples.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/examples.quy -------------------------------------------------------------------------------- /examples/ccc/inv1.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/inv1.elf -------------------------------------------------------------------------------- /examples/ccc/inv2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/inv2.elf -------------------------------------------------------------------------------- /examples/ccc/lambda.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/lambda.elf -------------------------------------------------------------------------------- /examples/ccc/pf.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/pf.dvi -------------------------------------------------------------------------------- /examples/ccc/refl.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/refl.elf -------------------------------------------------------------------------------- /examples/ccc/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/sources.cfg -------------------------------------------------------------------------------- /examples/ccc/spass.cfg: -------------------------------------------------------------------------------- 1 | spass.elf 2 | -------------------------------------------------------------------------------- /examples/ccc/spass.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/spass.elf -------------------------------------------------------------------------------- /examples/ccc/spass.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/spass.sml -------------------------------------------------------------------------------- /examples/ccc/subext.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/subext.elf -------------------------------------------------------------------------------- /examples/ccc/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/ccc/test.cfg -------------------------------------------------------------------------------- /examples/compile/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/compile/README -------------------------------------------------------------------------------- /examples/compile/cls/cls.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/compile/cls/cls.elf -------------------------------------------------------------------------------- /examples/compile/cpm/cpm.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/compile/cpm/cpm.elf -------------------------------------------------------------------------------- /examples/compile/cps/cps.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/compile/cps/cps.elf -------------------------------------------------------------------------------- /examples/cpsocc/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/NOTES -------------------------------------------------------------------------------- /examples/cpsocc/READ.ME: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/READ.ME -------------------------------------------------------------------------------- /examples/cpsocc/corr.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/corr.elf -------------------------------------------------------------------------------- /examples/cpsocc/cpsBNF.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/cpsBNF.elf -------------------------------------------------------------------------------- /examples/cpsocc/def13.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/def13.elf -------------------------------------------------------------------------------- /examples/cpsocc/def16.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/def16.elf -------------------------------------------------------------------------------- /examples/cpsocc/dsBNF.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/dsBNF.elf -------------------------------------------------------------------------------- /examples/cpsocc/examples.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/examples.quy -------------------------------------------------------------------------------- /examples/cpsocc/fig1.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig1.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig10.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig10.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig11.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig11.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig12.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig12.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig13.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig13.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig7.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig7.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig8.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig8.elf -------------------------------------------------------------------------------- /examples/cpsocc/fig9.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/fig9.elf -------------------------------------------------------------------------------- /examples/cpsocc/lemma14.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/lemma14.elf -------------------------------------------------------------------------------- /examples/cpsocc/lemma17.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/lemma17.elf -------------------------------------------------------------------------------- /examples/cpsocc/lemma7.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/lemma7.elf -------------------------------------------------------------------------------- /examples/cpsocc/lemma9.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/lemma9.elf -------------------------------------------------------------------------------- /examples/cpsocc/load.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/load.sml -------------------------------------------------------------------------------- /examples/cpsocc/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/sources.cfg -------------------------------------------------------------------------------- /examples/cpsocc/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/test.cfg -------------------------------------------------------------------------------- /examples/cpsocc/test.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/test.quy -------------------------------------------------------------------------------- /examples/cpsocc/th10.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/th10.elf -------------------------------------------------------------------------------- /examples/cpsocc/th15.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/th15.elf -------------------------------------------------------------------------------- /examples/cpsocc/th18.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/th18.elf -------------------------------------------------------------------------------- /examples/cpsocc/th2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/th2.elf -------------------------------------------------------------------------------- /examples/cpsocc/th4.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/th4.elf -------------------------------------------------------------------------------- /examples/cpsocc/th8.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cpsocc/th8.elf -------------------------------------------------------------------------------- /examples/cut-elim/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/README -------------------------------------------------------------------------------- /examples/cut-elim/cl-cut.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/cl-cut.elf -------------------------------------------------------------------------------- /examples/cut-elim/cl.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/cl.elf -------------------------------------------------------------------------------- /examples/cut-elim/cl.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/cl.thm -------------------------------------------------------------------------------- /examples/cut-elim/int.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/int.elf -------------------------------------------------------------------------------- /examples/cut-elim/int.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/int.thm -------------------------------------------------------------------------------- /examples/cut-elim/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/cut-elim/test.cfg -------------------------------------------------------------------------------- /examples/fj/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/README.txt -------------------------------------------------------------------------------- /examples/fj/aux-lemma.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/aux-lemma.elf -------------------------------------------------------------------------------- /examples/fj/false.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/false.elf -------------------------------------------------------------------------------- /examples/fj/fj.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/fj.elf -------------------------------------------------------------------------------- /examples/fj/nat.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/nat.elf -------------------------------------------------------------------------------- /examples/fj/pres.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/pres.elf -------------------------------------------------------------------------------- /examples/fj/progress.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/progress.elf -------------------------------------------------------------------------------- /examples/fj/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fj/sources.cfg -------------------------------------------------------------------------------- /examples/fol/README: -------------------------------------------------------------------------------- 1 | A few experiments in direct proof search. 2 | 3 | Can we prove uncurry? 4 | -------------------------------------------------------------------------------- /examples/fol/fol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fol/fol.elf -------------------------------------------------------------------------------- /examples/fol/fol.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/fol/fol.thm -------------------------------------------------------------------------------- /examples/fol/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /examples/fol/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | fol.thm 3 | -------------------------------------------------------------------------------- /examples/guide/arith.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/guide/arith.elf -------------------------------------------------------------------------------- /examples/guide/lam.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/guide/lam.elf -------------------------------------------------------------------------------- /examples/guide/lists.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/guide/lists.elf -------------------------------------------------------------------------------- /examples/guide/nd.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/guide/nd.elf -------------------------------------------------------------------------------- /examples/guide/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/guide/sources.cfg -------------------------------------------------------------------------------- /examples/guide/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/guide/test.cfg -------------------------------------------------------------------------------- /examples/handbook/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/handbook/README -------------------------------------------------------------------------------- /examples/handbook/fol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/handbook/fol.elf -------------------------------------------------------------------------------- /examples/handbook/sources.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /examples/handbook/test.cfg: -------------------------------------------------------------------------------- 1 | fol.elf 2 | -------------------------------------------------------------------------------- /examples/incll/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/README -------------------------------------------------------------------------------- /examples/incll/bff-incll.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/bff-incll.elf -------------------------------------------------------------------------------- /examples/incll/bff-incll.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/bff-incll.quy -------------------------------------------------------------------------------- /examples/incll/cpm-incll.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/cpm-incll.elf -------------------------------------------------------------------------------- /examples/incll/cpm-incll.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/cpm-incll.quy -------------------------------------------------------------------------------- /examples/incll/incll.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/incll.elf -------------------------------------------------------------------------------- /examples/incll/lists.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/lists.elf -------------------------------------------------------------------------------- /examples/incll/pre-incll.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/pre-incll.elf -------------------------------------------------------------------------------- /examples/incll/pre-incll.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/pre-incll.quy -------------------------------------------------------------------------------- /examples/incll/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/sources.cfg -------------------------------------------------------------------------------- /examples/incll/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/incll/test.cfg -------------------------------------------------------------------------------- /examples/js4/js4.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/js4/js4.elf -------------------------------------------------------------------------------- /examples/js4/sources.cfg: -------------------------------------------------------------------------------- 1 | js4.elf 2 | -------------------------------------------------------------------------------- /examples/kolm/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/README -------------------------------------------------------------------------------- /examples/kolm/complete.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/complete.elf -------------------------------------------------------------------------------- /examples/kolm/examples.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/examples.quy -------------------------------------------------------------------------------- /examples/kolm/fol.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/fol.elf -------------------------------------------------------------------------------- /examples/kolm/kolmtrans.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/kolmtrans.elf -------------------------------------------------------------------------------- /examples/kolm/nj.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/nj.elf -------------------------------------------------------------------------------- /examples/kolm/nk.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/nk.elf -------------------------------------------------------------------------------- /examples/kolm/report.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/report.ps -------------------------------------------------------------------------------- /examples/kolm/sound.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/sound.elf -------------------------------------------------------------------------------- /examples/kolm/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/sources.cfg -------------------------------------------------------------------------------- /examples/kolm/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/kolm/test.cfg -------------------------------------------------------------------------------- /examples/lp-horn/canon.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/canon.elf -------------------------------------------------------------------------------- /examples/lp-horn/conv.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/conv.elf -------------------------------------------------------------------------------- /examples/lp-horn/iscan.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/iscan.elf -------------------------------------------------------------------------------- /examples/lp-horn/natded.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/natded.elf -------------------------------------------------------------------------------- /examples/lp-horn/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/sources.cfg -------------------------------------------------------------------------------- /examples/lp-horn/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/test.cfg -------------------------------------------------------------------------------- /examples/lp-horn/uni-can.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/uni-can.elf -------------------------------------------------------------------------------- /examples/lp-horn/uni-can.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/uni-can.thm -------------------------------------------------------------------------------- /examples/lp-horn/uniform.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp-horn/uniform.elf -------------------------------------------------------------------------------- /examples/lp/canon.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/canon.elf -------------------------------------------------------------------------------- /examples/lp/cont.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/cont.elf -------------------------------------------------------------------------------- /examples/lp/conv.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/conv.elf -------------------------------------------------------------------------------- /examples/lp/examples.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/examples.elf -------------------------------------------------------------------------------- /examples/lp/examples.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/examples.quy -------------------------------------------------------------------------------- /examples/lp/fohh.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/fohh.elf -------------------------------------------------------------------------------- /examples/lp/iscan.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/iscan.elf -------------------------------------------------------------------------------- /examples/lp/natded.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/natded.elf -------------------------------------------------------------------------------- /examples/lp/res-complete.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/res-complete.elf -------------------------------------------------------------------------------- /examples/lp/res-sound.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/res-sound.elf -------------------------------------------------------------------------------- /examples/lp/resolution.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/resolution.elf -------------------------------------------------------------------------------- /examples/lp/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/sources.cfg -------------------------------------------------------------------------------- /examples/lp/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/test.cfg -------------------------------------------------------------------------------- /examples/lp/uni-complete.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/uni-complete.elf -------------------------------------------------------------------------------- /examples/lp/uni-sound.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/uni-sound.elf -------------------------------------------------------------------------------- /examples/lp/uniform.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/lp/uniform.elf -------------------------------------------------------------------------------- /examples/mini-ml/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/README -------------------------------------------------------------------------------- /examples/mini-ml/closed.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/closed.elf -------------------------------------------------------------------------------- /examples/mini-ml/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/eval.elf -------------------------------------------------------------------------------- /examples/mini-ml/eval1.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/eval1.elf -------------------------------------------------------------------------------- /examples/mini-ml/eval2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/eval2.elf -------------------------------------------------------------------------------- /examples/mini-ml/mini-ml.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/mini-ml.elf -------------------------------------------------------------------------------- /examples/mini-ml/reduce.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/reduce.elf -------------------------------------------------------------------------------- /examples/mini-ml/reduce.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/reduce.thm -------------------------------------------------------------------------------- /examples/mini-ml/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/sources.cfg -------------------------------------------------------------------------------- /examples/mini-ml/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/test.cfg -------------------------------------------------------------------------------- /examples/mini-ml/tp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/tp.elf -------------------------------------------------------------------------------- /examples/mini-ml/tpinf.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/tpinf.elf -------------------------------------------------------------------------------- /examples/mini-ml/value.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/mini-ml/value.elf -------------------------------------------------------------------------------- /examples/modal/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/modal/README -------------------------------------------------------------------------------- /examples/modal/modal.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/modal/modal.elf -------------------------------------------------------------------------------- /examples/polylam/polylam.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/polylam/polylam.elf -------------------------------------------------------------------------------- /examples/polylam/sources.cfg: -------------------------------------------------------------------------------- 1 | polylam.elf 2 | -------------------------------------------------------------------------------- /examples/polylam/test.cfg: -------------------------------------------------------------------------------- 1 | polylam.elf 2 | examples.quy 3 | -------------------------------------------------------------------------------- /examples/poplmark/1a.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/poplmark/1a.elf -------------------------------------------------------------------------------- /examples/poplmark/1b.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/poplmark/1b.elf -------------------------------------------------------------------------------- /examples/poplmark/2a.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/poplmark/2a.elf -------------------------------------------------------------------------------- /examples/poplmark/2b.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/poplmark/2b.elf -------------------------------------------------------------------------------- /examples/prop-calc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/README -------------------------------------------------------------------------------- /examples/prop-calc/equiv.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/equiv.elf -------------------------------------------------------------------------------- /examples/prop-calc/equiv.thm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/equiv.thm -------------------------------------------------------------------------------- /examples/prop-calc/nd.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/nd.elf -------------------------------------------------------------------------------- /examples/prop-calc/nd.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/prop-calc/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/test.cfg -------------------------------------------------------------------------------- /examples/prop-calc/thm1.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/thm1.elf -------------------------------------------------------------------------------- /examples/prop-calc/thm2.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/thm2.elf -------------------------------------------------------------------------------- /examples/prop-calc/thm3.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/prop-calc/thm3.elf -------------------------------------------------------------------------------- /examples/small-step/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/small-step/README -------------------------------------------------------------------------------- /examples/small-step/lam.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/small-step/lam.elf -------------------------------------------------------------------------------- /examples/tabled/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/README -------------------------------------------------------------------------------- /examples/tabled/all.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/all.sml -------------------------------------------------------------------------------- /examples/tabled/ccc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/ccc/README -------------------------------------------------------------------------------- /examples/tabled/ccc/ccc.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/ccc/ccc.elf -------------------------------------------------------------------------------- /examples/tabled/ccc/tab.cfg: -------------------------------------------------------------------------------- 1 | ccc.elf 2 | tab-examples.quy 3 | -------------------------------------------------------------------------------- /examples/tabled/cr/lam.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/cr/lam.elf -------------------------------------------------------------------------------- /examples/tabled/cr/tab.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/cr/tab.cfg -------------------------------------------------------------------------------- /examples/tabled/parsing/tab.cfg: -------------------------------------------------------------------------------- 1 | warren.elf -------------------------------------------------------------------------------- /examples/tabled/poly/tab.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/poly/tab.cfg -------------------------------------------------------------------------------- /examples/tabled/poly/tp.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tabled/poly/tp.elf -------------------------------------------------------------------------------- /examples/tapl-ch13/defs.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tapl-ch13/defs.elf -------------------------------------------------------------------------------- /examples/tapl-ch13/nat.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/examples/tapl-ch13/nat.elf -------------------------------------------------------------------------------- /exercises/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/README -------------------------------------------------------------------------------- /exercises/opt-eval/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/opt-eval/README -------------------------------------------------------------------------------- /exercises/opt-eval/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/opt-eval/eval.elf -------------------------------------------------------------------------------- /exercises/opt-eval/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/opt-eval/test.cfg -------------------------------------------------------------------------------- /exercises/units/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/NOTES -------------------------------------------------------------------------------- /exercises/units/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/README -------------------------------------------------------------------------------- /exercises/units/eqtypes.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/eqtypes.elf -------------------------------------------------------------------------------- /exercises/units/equnits.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/equnits.elf -------------------------------------------------------------------------------- /exercises/units/eval.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/eval.elf -------------------------------------------------------------------------------- /exercises/units/examples.quy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/examples.quy -------------------------------------------------------------------------------- /exercises/units/language.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/language.elf -------------------------------------------------------------------------------- /exercises/units/number.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/number.elf -------------------------------------------------------------------------------- /exercises/units/sources.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/sources.cfg -------------------------------------------------------------------------------- /exercises/units/test.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/test.cfg -------------------------------------------------------------------------------- /exercises/units/tp-inf.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/tp-inf.elf -------------------------------------------------------------------------------- /exercises/units/tp-rules.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/tp-rules.elf -------------------------------------------------------------------------------- /exercises/units/tp-sound.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/tp-sound.elf -------------------------------------------------------------------------------- /exercises/units/types.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/types.elf -------------------------------------------------------------------------------- /exercises/units/units.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/units.elf -------------------------------------------------------------------------------- /exercises/units/value.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/exercises/units/value.elf -------------------------------------------------------------------------------- /server.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/server.cm -------------------------------------------------------------------------------- /sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/sources.cm -------------------------------------------------------------------------------- /src/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/WALK -------------------------------------------------------------------------------- /src/compat/array-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/array-97.sml -------------------------------------------------------------------------------- /src/compat/array-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/array-slice.sig -------------------------------------------------------------------------------- /src/compat/array-slice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/array-slice.sml -------------------------------------------------------------------------------- /src/compat/array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/array.sig -------------------------------------------------------------------------------- /src/compat/compat-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/compat-97.sml -------------------------------------------------------------------------------- /src/compat/compat-poly02.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/compat-poly02.sml -------------------------------------------------------------------------------- /src/compat/compat.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/compat.fun -------------------------------------------------------------------------------- /src/compat/compat.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/compat.sig -------------------------------------------------------------------------------- /src/compat/compat.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/compat.sml -------------------------------------------------------------------------------- /src/compat/path-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/path-97.sml -------------------------------------------------------------------------------- /src/compat/path.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/path.sig -------------------------------------------------------------------------------- /src/compat/socket-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/socket-97.sml -------------------------------------------------------------------------------- /src/compat/socket.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/socket.sig -------------------------------------------------------------------------------- /src/compat/socket.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/socket.sml -------------------------------------------------------------------------------- /src/compat/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/sources.cm -------------------------------------------------------------------------------- /src/compat/substring-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/substring-97.sml -------------------------------------------------------------------------------- /src/compat/substring.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/substring.sig -------------------------------------------------------------------------------- /src/compat/text-io-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/text-io-97.sml -------------------------------------------------------------------------------- /src/compat/text-io.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/text-io.sig -------------------------------------------------------------------------------- /src/compat/time-limit.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/time-limit.sig -------------------------------------------------------------------------------- /src/compat/time-limit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/time-limit.sml -------------------------------------------------------------------------------- /src/compat/timer-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/timer-97.sml -------------------------------------------------------------------------------- /src/compat/timer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/timer.sig -------------------------------------------------------------------------------- /src/compat/vector-97.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/vector-97.sml -------------------------------------------------------------------------------- /src/compat/vector-slice.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/vector-slice.sig -------------------------------------------------------------------------------- /src/compat/vector-slice.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/vector-slice.sml -------------------------------------------------------------------------------- /src/compat/vector.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compat/vector.sig -------------------------------------------------------------------------------- /src/compile/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/README -------------------------------------------------------------------------------- /src/compile/assign.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/assign.fun -------------------------------------------------------------------------------- /src/compile/assign.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/assign.sig -------------------------------------------------------------------------------- /src/compile/compile.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/compile.fun -------------------------------------------------------------------------------- /src/compile/compile.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/compile.sig -------------------------------------------------------------------------------- /src/compile/compile.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/compile.sml -------------------------------------------------------------------------------- /src/compile/compsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/compsyn.fun -------------------------------------------------------------------------------- /src/compile/compsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/compsyn.sig -------------------------------------------------------------------------------- /src/compile/cprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/cprint.fun -------------------------------------------------------------------------------- /src/compile/cprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/cprint.sig -------------------------------------------------------------------------------- /src/compile/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/sources.cm -------------------------------------------------------------------------------- /src/compile/subtree.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/subtree.fun -------------------------------------------------------------------------------- /src/compile/subtree.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compile/subtree.sig -------------------------------------------------------------------------------- /src/compress/compress.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/compress.fun -------------------------------------------------------------------------------- /src/compress/compress.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/compress.sig -------------------------------------------------------------------------------- /src/compress/convert.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/convert.sml -------------------------------------------------------------------------------- /src/compress/parse.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/parse.sml -------------------------------------------------------------------------------- /src/compress/reductio.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/reductio.sml -------------------------------------------------------------------------------- /src/compress/rep.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/rep.sml -------------------------------------------------------------------------------- /src/compress/sgn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/sgn.sml -------------------------------------------------------------------------------- /src/compress/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/sources.cm -------------------------------------------------------------------------------- /src/compress/strict.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/strict.sml -------------------------------------------------------------------------------- /src/compress/syntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/compress/syntax.sml -------------------------------------------------------------------------------- /src/cover/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/README -------------------------------------------------------------------------------- /src/cover/cover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/cover.fun -------------------------------------------------------------------------------- /src/cover/cover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/cover.sig -------------------------------------------------------------------------------- /src/cover/cover.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/cover.sml -------------------------------------------------------------------------------- /src/cover/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/sources.cm -------------------------------------------------------------------------------- /src/cover/total.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/total.fun -------------------------------------------------------------------------------- /src/cover/total.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/cover/total.sig -------------------------------------------------------------------------------- /src/delphin/delphin.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/delphin.fun -------------------------------------------------------------------------------- /src/delphin/delphin.grm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/delphin.grm -------------------------------------------------------------------------------- /src/delphin/delphin.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/delphin.lex -------------------------------------------------------------------------------- /src/delphin/delphin.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/delphin.sig -------------------------------------------------------------------------------- /src/delphin/delphin.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/delphin.sml -------------------------------------------------------------------------------- /src/delphin/dextsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/dextsyn.fun -------------------------------------------------------------------------------- /src/delphin/dextsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/dextsyn.sig -------------------------------------------------------------------------------- /src/delphin/interface.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/interface.fun -------------------------------------------------------------------------------- /src/delphin/interface.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/interface.sig -------------------------------------------------------------------------------- /src/delphin/parse-prg.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/parse-prg.fun -------------------------------------------------------------------------------- /src/delphin/parse-prg.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/parse-prg.sig -------------------------------------------------------------------------------- /src/delphin/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/sources.cm -------------------------------------------------------------------------------- /src/delphin/trans.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/trans.fun -------------------------------------------------------------------------------- /src/delphin/trans.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/delphin/trans.sig -------------------------------------------------------------------------------- /src/domains/README: -------------------------------------------------------------------------------- 1 | Domains for arithmetical expressions 2 | Author: Roberto Virga 3 | -------------------------------------------------------------------------------- /src/domains/domains.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/domains.sml -------------------------------------------------------------------------------- /src/domains/field.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/field.sig -------------------------------------------------------------------------------- /src/domains/integers-mod.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/integers-mod.fun -------------------------------------------------------------------------------- /src/domains/integers.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/integers.fun -------------------------------------------------------------------------------- /src/domains/integers.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/integers.sig -------------------------------------------------------------------------------- /src/domains/rationals.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/rationals.fun -------------------------------------------------------------------------------- /src/domains/rationals.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/rationals.sig -------------------------------------------------------------------------------- /src/domains/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/domains/sources.cm -------------------------------------------------------------------------------- /src/flit/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/flit/README -------------------------------------------------------------------------------- /src/flit/flit.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/flit/flit.fun -------------------------------------------------------------------------------- /src/flit/flit.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/flit/flit.sig -------------------------------------------------------------------------------- /src/flit/flit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/flit/flit.sml -------------------------------------------------------------------------------- /src/flit/script.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/flit/script.sml -------------------------------------------------------------------------------- /src/flit/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/flit/sources.cm -------------------------------------------------------------------------------- /src/formatter/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/formatter/README -------------------------------------------------------------------------------- /src/formatter/formatter.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/formatter/formatter.fun -------------------------------------------------------------------------------- /src/formatter/formatter.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/formatter/formatter.sig -------------------------------------------------------------------------------- /src/formatter/formatter.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/formatter/formatter.sml -------------------------------------------------------------------------------- /src/formatter/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/formatter/sources.cm -------------------------------------------------------------------------------- /src/frontend/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/WALK -------------------------------------------------------------------------------- /src/frontend/fquery.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/fquery.fun -------------------------------------------------------------------------------- /src/frontend/fquery.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/fquery.sig -------------------------------------------------------------------------------- /src/frontend/frontend.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/frontend.sml -------------------------------------------------------------------------------- /src/frontend/lexer.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/lexer.fun -------------------------------------------------------------------------------- /src/frontend/lexer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/lexer.sig -------------------------------------------------------------------------------- /src/frontend/parse-mode.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-mode.fun -------------------------------------------------------------------------------- /src/frontend/parse-mode.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-mode.sig -------------------------------------------------------------------------------- /src/frontend/parse-query.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-query.fun -------------------------------------------------------------------------------- /src/frontend/parse-query.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-query.sig -------------------------------------------------------------------------------- /src/frontend/parse-term.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-term.fun -------------------------------------------------------------------------------- /src/frontend/parse-term.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-term.sig -------------------------------------------------------------------------------- /src/frontend/parse-thm.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-thm.fun -------------------------------------------------------------------------------- /src/frontend/parse-thm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parse-thm.sig -------------------------------------------------------------------------------- /src/frontend/parser.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parser.fun -------------------------------------------------------------------------------- /src/frontend/parser.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parser.sig -------------------------------------------------------------------------------- /src/frontend/parsing.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parsing.fun -------------------------------------------------------------------------------- /src/frontend/parsing.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/parsing.sig -------------------------------------------------------------------------------- /src/frontend/recon-mode.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-mode.fun -------------------------------------------------------------------------------- /src/frontend/recon-mode.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-mode.sig -------------------------------------------------------------------------------- /src/frontend/recon-query.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-query.fun -------------------------------------------------------------------------------- /src/frontend/recon-query.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-query.sig -------------------------------------------------------------------------------- /src/frontend/recon-term.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-term.fun -------------------------------------------------------------------------------- /src/frontend/recon-term.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-term.sig -------------------------------------------------------------------------------- /src/frontend/recon-thm.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-thm.fun -------------------------------------------------------------------------------- /src/frontend/recon-thm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/recon-thm.sig -------------------------------------------------------------------------------- /src/frontend/solve.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/solve.fun -------------------------------------------------------------------------------- /src/frontend/solve.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/solve.sig -------------------------------------------------------------------------------- /src/frontend/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/sources.cm -------------------------------------------------------------------------------- /src/frontend/twelf.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/twelf.fun -------------------------------------------------------------------------------- /src/frontend/twelf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/twelf.sig -------------------------------------------------------------------------------- /src/frontend/unknownexn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/unknownexn.fun -------------------------------------------------------------------------------- /src/frontend/version.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/frontend/version.sml -------------------------------------------------------------------------------- /src/global/README: -------------------------------------------------------------------------------- 1 | Global parameters 2 | Author: Frank Pfenning 3 | -------------------------------------------------------------------------------- /src/global/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/global/WALK -------------------------------------------------------------------------------- /src/global/global.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/global/global.sig -------------------------------------------------------------------------------- /src/global/global.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/global/global.sml -------------------------------------------------------------------------------- /src/global/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/global/sources.cm -------------------------------------------------------------------------------- /src/heuristic/heuristic.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/heuristic/heuristic.fun -------------------------------------------------------------------------------- /src/heuristic/heuristic.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/heuristic/heuristic.sig -------------------------------------------------------------------------------- /src/heuristic/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/heuristic/sources.cm -------------------------------------------------------------------------------- /src/index/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/README -------------------------------------------------------------------------------- /src/index/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/WALK -------------------------------------------------------------------------------- /src/index/index-skolem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/index-skolem.fun -------------------------------------------------------------------------------- /src/index/index.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/index.fun -------------------------------------------------------------------------------- /src/index/index.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/index.sig -------------------------------------------------------------------------------- /src/index/index.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/index.sml -------------------------------------------------------------------------------- /src/index/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/index/sources.cm -------------------------------------------------------------------------------- /src/int-inf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/int-inf/README -------------------------------------------------------------------------------- /src/int-inf/int-inf-sig.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/int-inf/int-inf-sig.sml -------------------------------------------------------------------------------- /src/int-inf/int-inf.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/int-inf/int-inf.sml -------------------------------------------------------------------------------- /src/int-inf/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/int-inf/sources.cm -------------------------------------------------------------------------------- /src/inverse/.cvsignore: -------------------------------------------------------------------------------- 1 | doc 2 | -------------------------------------------------------------------------------- /src/inverse/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/README -------------------------------------------------------------------------------- /src/inverse/notes/bug.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/notes/bug.txt -------------------------------------------------------------------------------- /src/inverse/notes/notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/notes/notes.txt -------------------------------------------------------------------------------- /src/inverse/notes/timing.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/notes/timing.txt -------------------------------------------------------------------------------- /src/inverse/sml/.cvsignore: -------------------------------------------------------------------------------- 1 | old.sml 2 | -------------------------------------------------------------------------------- /src/inverse/sml/context.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/context.sig -------------------------------------------------------------------------------- /src/inverse/sml/context.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/context.sml -------------------------------------------------------------------------------- /src/inverse/sml/debug.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/debug.sig -------------------------------------------------------------------------------- /src/inverse/sml/debug.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/debug.sml -------------------------------------------------------------------------------- /src/inverse/sml/layout.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/layout.sig -------------------------------------------------------------------------------- /src/inverse/sml/layout.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/layout.sml -------------------------------------------------------------------------------- /src/inverse/sml/lib.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/lib.sig -------------------------------------------------------------------------------- /src/inverse/sml/lib.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/lib.sml -------------------------------------------------------------------------------- /src/inverse/sml/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/print.sig -------------------------------------------------------------------------------- /src/inverse/sml/print.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/print.sml -------------------------------------------------------------------------------- /src/inverse/sml/signat.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/signat.sig -------------------------------------------------------------------------------- /src/inverse/sml/signat.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/signat.sml -------------------------------------------------------------------------------- /src/inverse/sml/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/sources.cm -------------------------------------------------------------------------------- /src/inverse/sml/syntax.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/syntax.sig -------------------------------------------------------------------------------- /src/inverse/sml/syntax.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/syntax.sml -------------------------------------------------------------------------------- /src/inverse/sml/table.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/table.sig -------------------------------------------------------------------------------- /src/inverse/sml/table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/table.sml -------------------------------------------------------------------------------- /src/inverse/sml/timers.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/timers.sig -------------------------------------------------------------------------------- /src/inverse/sml/timers.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/timers.sml -------------------------------------------------------------------------------- /src/inverse/sml/top.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/sml/top.sml -------------------------------------------------------------------------------- /src/inverse/tex/.cvsignore: -------------------------------------------------------------------------------- 1 | main.pdf 2 | 3 | -------------------------------------------------------------------------------- /src/inverse/tex/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/tex/Makefile -------------------------------------------------------------------------------- /src/inverse/tex/commands.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/tex/commands.tex -------------------------------------------------------------------------------- /src/inverse/tex/inverse.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/tex/inverse.tex -------------------------------------------------------------------------------- /src/inverse/tex/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/tex/main.tex -------------------------------------------------------------------------------- /src/inverse/tex/old/uni.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/inverse/tex/old/uni.tex -------------------------------------------------------------------------------- /src/lambda/README: -------------------------------------------------------------------------------- 1 | Core Lambda Calculus 2 | Author: Frank Pfenning, Carsten Schuermann 3 | -------------------------------------------------------------------------------- /src/lambda/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/WALK -------------------------------------------------------------------------------- /src/lambda/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/abstract.fun -------------------------------------------------------------------------------- /src/lambda/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/abstract.sig -------------------------------------------------------------------------------- /src/lambda/approx.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/approx.fun -------------------------------------------------------------------------------- /src/lambda/approx.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/approx.sig -------------------------------------------------------------------------------- /src/lambda/constraints.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/constraints.fun -------------------------------------------------------------------------------- /src/lambda/constraints.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/constraints.sig -------------------------------------------------------------------------------- /src/lambda/conv.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/conv.fun -------------------------------------------------------------------------------- /src/lambda/conv.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/conv.sig -------------------------------------------------------------------------------- /src/lambda/fgnopn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/fgnopn.sig -------------------------------------------------------------------------------- /src/lambda/fgnopntable.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/fgnopntable.fun -------------------------------------------------------------------------------- /src/lambda/intsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/intsyn.fun -------------------------------------------------------------------------------- /src/lambda/intsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/intsyn.sig -------------------------------------------------------------------------------- /src/lambda/lambda.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/lambda.sml -------------------------------------------------------------------------------- /src/lambda/match.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/match.fun -------------------------------------------------------------------------------- /src/lambda/match.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/match.sig -------------------------------------------------------------------------------- /src/lambda/normalize.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/normalize.fun -------------------------------------------------------------------------------- /src/lambda/normalize.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/normalize.sig -------------------------------------------------------------------------------- /src/lambda/order.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/order.fun -------------------------------------------------------------------------------- /src/lambda/order.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/order.sig -------------------------------------------------------------------------------- /src/lambda/order.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/order.sml -------------------------------------------------------------------------------- /src/lambda/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/sources.cm -------------------------------------------------------------------------------- /src/lambda/tomega.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/tomega.fun -------------------------------------------------------------------------------- /src/lambda/tomega.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/tomega.sig -------------------------------------------------------------------------------- /src/lambda/tomega.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/tomega.sml -------------------------------------------------------------------------------- /src/lambda/unify.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/unify.fun -------------------------------------------------------------------------------- /src/lambda/unify.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/unify.sig -------------------------------------------------------------------------------- /src/lambda/whnf.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/whnf.fun -------------------------------------------------------------------------------- /src/lambda/whnf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/lambda/whnf.sig -------------------------------------------------------------------------------- /src/m2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/README -------------------------------------------------------------------------------- /src/m2/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/WALK -------------------------------------------------------------------------------- /src/m2/filling.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/filling.fun -------------------------------------------------------------------------------- /src/m2/filling.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/filling.sig -------------------------------------------------------------------------------- /src/m2/init.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/init.fun -------------------------------------------------------------------------------- /src/m2/init.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/init.sig -------------------------------------------------------------------------------- /src/m2/lemma.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/lemma.fun -------------------------------------------------------------------------------- /src/m2/lemma.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/lemma.sig -------------------------------------------------------------------------------- /src/m2/m2.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/m2.sml -------------------------------------------------------------------------------- /src/m2/meta-abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/meta-abstract.fun -------------------------------------------------------------------------------- /src/m2/meta-abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/meta-abstract.sig -------------------------------------------------------------------------------- /src/m2/meta-global.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/meta-global.sig -------------------------------------------------------------------------------- /src/m2/meta-global.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/meta-global.sml -------------------------------------------------------------------------------- /src/m2/meta-print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/meta-print.fun -------------------------------------------------------------------------------- /src/m2/meta-print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/meta-print.sig -------------------------------------------------------------------------------- /src/m2/metasyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/metasyn.fun -------------------------------------------------------------------------------- /src/m2/metasyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/metasyn.sig -------------------------------------------------------------------------------- /src/m2/mpi.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/mpi.fun -------------------------------------------------------------------------------- /src/m2/mpi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/mpi.sig -------------------------------------------------------------------------------- /src/m2/prover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/prover.fun -------------------------------------------------------------------------------- /src/m2/prover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/prover.sig -------------------------------------------------------------------------------- /src/m2/qed.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/qed.fun -------------------------------------------------------------------------------- /src/m2/qed.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/qed.sig -------------------------------------------------------------------------------- /src/m2/recursion.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/recursion.fun -------------------------------------------------------------------------------- /src/m2/recursion.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/recursion.sig -------------------------------------------------------------------------------- /src/m2/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/search.fun -------------------------------------------------------------------------------- /src/m2/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/search.sig -------------------------------------------------------------------------------- /src/m2/skolem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/skolem.fun -------------------------------------------------------------------------------- /src/m2/skolem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/skolem.sig -------------------------------------------------------------------------------- /src/m2/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/sources.cm -------------------------------------------------------------------------------- /src/m2/splitting.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/splitting.fun -------------------------------------------------------------------------------- /src/m2/splitting.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/splitting.sig -------------------------------------------------------------------------------- /src/m2/strategy.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/strategy.fun -------------------------------------------------------------------------------- /src/m2/strategy.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/m2/strategy.sig -------------------------------------------------------------------------------- /src/meta/NOTES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/NOTES -------------------------------------------------------------------------------- /src/meta/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/README -------------------------------------------------------------------------------- /src/meta/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/WALK -------------------------------------------------------------------------------- /src/meta/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/abstract.fun -------------------------------------------------------------------------------- /src/meta/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/abstract.sig -------------------------------------------------------------------------------- /src/meta/data.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/data.fun -------------------------------------------------------------------------------- /src/meta/data.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/data.sig -------------------------------------------------------------------------------- /src/meta/filling.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/filling.fun -------------------------------------------------------------------------------- /src/meta/filling.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/filling.sig -------------------------------------------------------------------------------- /src/meta/funnames.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funnames.fun -------------------------------------------------------------------------------- /src/meta/funnames.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funnames.sig -------------------------------------------------------------------------------- /src/meta/funprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funprint.fun -------------------------------------------------------------------------------- /src/meta/funprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funprint.sig -------------------------------------------------------------------------------- /src/meta/funsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funsyn.fun -------------------------------------------------------------------------------- /src/meta/funsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funsyn.sig -------------------------------------------------------------------------------- /src/meta/funtypecheck.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funtypecheck.fun -------------------------------------------------------------------------------- /src/meta/funtypecheck.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funtypecheck.sig -------------------------------------------------------------------------------- /src/meta/funweaken.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funweaken.fun -------------------------------------------------------------------------------- /src/meta/funweaken.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/funweaken.sig -------------------------------------------------------------------------------- /src/meta/global.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/global.fun -------------------------------------------------------------------------------- /src/meta/global.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/global.sig -------------------------------------------------------------------------------- /src/meta/inference.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/inference.fun -------------------------------------------------------------------------------- /src/meta/inference.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/inference.sig -------------------------------------------------------------------------------- /src/meta/init.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/init.fun -------------------------------------------------------------------------------- /src/meta/init.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/init.sig -------------------------------------------------------------------------------- /src/meta/interpret.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/interpret.sig -------------------------------------------------------------------------------- /src/meta/meta.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/meta.sml -------------------------------------------------------------------------------- /src/meta/mpi.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/mpi.fun -------------------------------------------------------------------------------- /src/meta/mpi.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/mpi.sig -------------------------------------------------------------------------------- /src/meta/print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/print.fun -------------------------------------------------------------------------------- /src/meta/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/print.sig -------------------------------------------------------------------------------- /src/meta/prover.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/prover.fun -------------------------------------------------------------------------------- /src/meta/prover.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/prover.sig -------------------------------------------------------------------------------- /src/meta/recursion.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/recursion.fun -------------------------------------------------------------------------------- /src/meta/recursion.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/recursion.sig -------------------------------------------------------------------------------- /src/meta/relfun.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/relfun.fun -------------------------------------------------------------------------------- /src/meta/relfun.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/relfun.sig -------------------------------------------------------------------------------- /src/meta/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/search.fun -------------------------------------------------------------------------------- /src/meta/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/search.sig -------------------------------------------------------------------------------- /src/meta/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/sources.cm -------------------------------------------------------------------------------- /src/meta/splitting.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/splitting.fun -------------------------------------------------------------------------------- /src/meta/splitting.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/splitting.sig -------------------------------------------------------------------------------- /src/meta/statesyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/statesyn.fun -------------------------------------------------------------------------------- /src/meta/statesyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/statesyn.sig -------------------------------------------------------------------------------- /src/meta/strategy.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/strategy.fun -------------------------------------------------------------------------------- /src/meta/strategy.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/strategy.sig -------------------------------------------------------------------------------- /src/meta/uniquesearch.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/uniquesearch.fun -------------------------------------------------------------------------------- /src/meta/uniquesearch.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/uniquesearch.sig -------------------------------------------------------------------------------- /src/meta/weaken.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/weaken.fun -------------------------------------------------------------------------------- /src/meta/weaken.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/meta/weaken.sig -------------------------------------------------------------------------------- /src/modes/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/README -------------------------------------------------------------------------------- /src/modes/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/WALK -------------------------------------------------------------------------------- /src/modes/modecheck.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modecheck.fun -------------------------------------------------------------------------------- /src/modes/modecheck.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modecheck.sig -------------------------------------------------------------------------------- /src/modes/modedec.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modedec.fun -------------------------------------------------------------------------------- /src/modes/modedec.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modedec.sig -------------------------------------------------------------------------------- /src/modes/modeprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modeprint.fun -------------------------------------------------------------------------------- /src/modes/modeprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modeprint.sig -------------------------------------------------------------------------------- /src/modes/modes.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modes.sml -------------------------------------------------------------------------------- /src/modes/modesyn.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modesyn.sml -------------------------------------------------------------------------------- /src/modes/modetable.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modetable.fun -------------------------------------------------------------------------------- /src/modes/modetable.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/modetable.sig -------------------------------------------------------------------------------- /src/modes/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modes/sources.cm -------------------------------------------------------------------------------- /src/modules/modsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modules/modsyn.fun -------------------------------------------------------------------------------- /src/modules/modsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modules/modsyn.sig -------------------------------------------------------------------------------- /src/modules/modules.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modules/modules.sml -------------------------------------------------------------------------------- /src/modules/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/modules/sources.cm -------------------------------------------------------------------------------- /src/msg/msg.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/msg/msg.sml -------------------------------------------------------------------------------- /src/msg/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/msg/sources.cm -------------------------------------------------------------------------------- /src/names/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/names/README -------------------------------------------------------------------------------- /src/names/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/names/WALK -------------------------------------------------------------------------------- /src/names/names.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/names/names.fun -------------------------------------------------------------------------------- /src/names/names.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/names/names.sig -------------------------------------------------------------------------------- /src/names/names.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/names/names.sml -------------------------------------------------------------------------------- /src/names/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/names/sources.cm -------------------------------------------------------------------------------- /src/netserver/buildheap.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/netserver/buildheap.sml -------------------------------------------------------------------------------- /src/netserver/netserver.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/netserver/netserver.sml -------------------------------------------------------------------------------- /src/netserver/runserver.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | nohup sml @SMLload=netserver.heap.x86-linux & 3 | -------------------------------------------------------------------------------- /src/netserver/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/netserver/sources.cm -------------------------------------------------------------------------------- /src/opsem/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/README -------------------------------------------------------------------------------- /src/opsem/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/WALK -------------------------------------------------------------------------------- /src/opsem/absmachine-sbt.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/absmachine-sbt.fun -------------------------------------------------------------------------------- /src/opsem/absmachine-sbt.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/absmachine-sbt.sig -------------------------------------------------------------------------------- /src/opsem/absmachine.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/absmachine.fun -------------------------------------------------------------------------------- /src/opsem/absmachine.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/absmachine.sig -------------------------------------------------------------------------------- /src/opsem/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/abstract.fun -------------------------------------------------------------------------------- /src/opsem/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/abstract.sig -------------------------------------------------------------------------------- /src/opsem/index.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/index.fun -------------------------------------------------------------------------------- /src/opsem/index.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/index.sig -------------------------------------------------------------------------------- /src/opsem/opsem.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/opsem.sml -------------------------------------------------------------------------------- /src/opsem/ptrecon.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/ptrecon.fun -------------------------------------------------------------------------------- /src/opsem/ptrecon.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/ptrecon.sig -------------------------------------------------------------------------------- /src/opsem/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/sources.cm -------------------------------------------------------------------------------- /src/opsem/subtree-inst.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/subtree-inst.fun -------------------------------------------------------------------------------- /src/opsem/subtree.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/subtree.fun -------------------------------------------------------------------------------- /src/opsem/subtree.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/subtree.sig -------------------------------------------------------------------------------- /src/opsem/sw-subtree.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/sw-subtree.fun -------------------------------------------------------------------------------- /src/opsem/sw-subtree.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/sw-subtree.sig -------------------------------------------------------------------------------- /src/opsem/swmachine.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/swmachine.fun -------------------------------------------------------------------------------- /src/opsem/table-param.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/table-param.fun -------------------------------------------------------------------------------- /src/opsem/table-param.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/table-param.sig -------------------------------------------------------------------------------- /src/opsem/table-param.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/table-param.sml -------------------------------------------------------------------------------- /src/opsem/tabled.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/tabled.fun -------------------------------------------------------------------------------- /src/opsem/tabled.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/tabled.sig -------------------------------------------------------------------------------- /src/opsem/tmachine.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/tmachine.fun -------------------------------------------------------------------------------- /src/opsem/trace.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/trace.fun -------------------------------------------------------------------------------- /src/opsem/trace.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/opsem/trace.sig -------------------------------------------------------------------------------- /src/order/README: -------------------------------------------------------------------------------- 1 | Termination orders for type families 2 | Author: Carsten Schuermann 3 | -------------------------------------------------------------------------------- /src/order/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/order/WALK -------------------------------------------------------------------------------- /src/order/order.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/order/order.fun -------------------------------------------------------------------------------- /src/order/order.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/order/order.sig -------------------------------------------------------------------------------- /src/order/order.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/order/order.sml -------------------------------------------------------------------------------- /src/order/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/order/sources.cm -------------------------------------------------------------------------------- /src/paths/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/README -------------------------------------------------------------------------------- /src/paths/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/WALK -------------------------------------------------------------------------------- /src/paths/origins.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/origins.fun -------------------------------------------------------------------------------- /src/paths/origins.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/origins.sig -------------------------------------------------------------------------------- /src/paths/paths.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/paths.fun -------------------------------------------------------------------------------- /src/paths/paths.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/paths.sig -------------------------------------------------------------------------------- /src/paths/paths.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/paths.sml -------------------------------------------------------------------------------- /src/paths/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/paths/sources.cm -------------------------------------------------------------------------------- /src/print/README: -------------------------------------------------------------------------------- 1 | Printing of terms 2 | Author: Frank Pfenning 3 | 4 | -------------------------------------------------------------------------------- /src/print/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/WALK -------------------------------------------------------------------------------- /src/print/clause-print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/clause-print.fun -------------------------------------------------------------------------------- /src/print/clause-print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/clause-print.sig -------------------------------------------------------------------------------- /src/print/print-omdoc.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print-omdoc.fun -------------------------------------------------------------------------------- /src/print/print-omdoc.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print-omdoc.sig -------------------------------------------------------------------------------- /src/print/print-twega.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print-twega.fun -------------------------------------------------------------------------------- /src/print/print-twega.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print-twega.sig -------------------------------------------------------------------------------- /src/print/print-xml.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print-xml.fun -------------------------------------------------------------------------------- /src/print/print-xml.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print-xml.sig -------------------------------------------------------------------------------- /src/print/print.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print.fun -------------------------------------------------------------------------------- /src/print/print.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print.sig -------------------------------------------------------------------------------- /src/print/print.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/print.sml -------------------------------------------------------------------------------- /src/print/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/sources.cm -------------------------------------------------------------------------------- /src/print/symbol.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/symbol.fun -------------------------------------------------------------------------------- /src/print/symbol.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/symbol.sig -------------------------------------------------------------------------------- /src/print/traverse.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/traverse.fun -------------------------------------------------------------------------------- /src/print/traverse.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/print/traverse.sig -------------------------------------------------------------------------------- /src/prover/data.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/data.fun -------------------------------------------------------------------------------- /src/prover/data.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/data.sig -------------------------------------------------------------------------------- /src/prover/elim.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/elim.fun -------------------------------------------------------------------------------- /src/prover/elim.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/elim.sig -------------------------------------------------------------------------------- /src/prover/fill.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/fill.fun -------------------------------------------------------------------------------- /src/prover/fill.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/fill.sig -------------------------------------------------------------------------------- /src/prover/fixedpoint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/fixedpoint.fun -------------------------------------------------------------------------------- /src/prover/fixedpoint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/fixedpoint.sig -------------------------------------------------------------------------------- /src/prover/interactive.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/interactive.fun -------------------------------------------------------------------------------- /src/prover/interactive.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/interactive.sig -------------------------------------------------------------------------------- /src/prover/introduce.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/introduce.fun -------------------------------------------------------------------------------- /src/prover/introduce.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/introduce.sig -------------------------------------------------------------------------------- /src/prover/prover.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/prover.sml -------------------------------------------------------------------------------- /src/prover/recurse.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/recurse.sig -------------------------------------------------------------------------------- /src/prover/search.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/search.fun -------------------------------------------------------------------------------- /src/prover/search.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/search.sig -------------------------------------------------------------------------------- /src/prover/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/sources.cm -------------------------------------------------------------------------------- /src/prover/split.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/split.fun -------------------------------------------------------------------------------- /src/prover/split.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/split.sig -------------------------------------------------------------------------------- /src/prover/state.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/state.fun -------------------------------------------------------------------------------- /src/prover/state.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/state.sig -------------------------------------------------------------------------------- /src/prover/stateprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/stateprint.fun -------------------------------------------------------------------------------- /src/prover/stateprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/stateprint.sig -------------------------------------------------------------------------------- /src/prover/weaken.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/weaken.fun -------------------------------------------------------------------------------- /src/prover/weaken.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/prover/weaken.sig -------------------------------------------------------------------------------- /src/server/mlton-thread.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/mlton-thread.sml -------------------------------------------------------------------------------- /src/server/server.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/server.sml -------------------------------------------------------------------------------- /src/server/sigint-mlton.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/sigint-mlton.sml -------------------------------------------------------------------------------- /src/server/sigint-noop.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/sigint-noop.sml -------------------------------------------------------------------------------- /src/server/sigint-polyml.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/sigint-polyml.sml -------------------------------------------------------------------------------- /src/server/sigint-smlnj.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/sigint-smlnj.sml -------------------------------------------------------------------------------- /src/server/sigint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/sigint.sig -------------------------------------------------------------------------------- /src/server/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/server/sources.cm -------------------------------------------------------------------------------- /src/solvers/cs-eq-bools.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/cs-eq-bools.fun -------------------------------------------------------------------------------- /src/solvers/cs-eq-field.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/cs-eq-field.fun -------------------------------------------------------------------------------- /src/solvers/cs-eq-field.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/cs-eq-field.sig -------------------------------------------------------------------------------- /src/solvers/cs-manager.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/cs-manager.fun -------------------------------------------------------------------------------- /src/solvers/cs-manager.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/cs-manager.sig -------------------------------------------------------------------------------- /src/solvers/cs.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/cs.sig -------------------------------------------------------------------------------- /src/solvers/solvers.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/solvers.sml -------------------------------------------------------------------------------- /src/solvers/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/solvers/sources.cm -------------------------------------------------------------------------------- /src/stream/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/stream/README -------------------------------------------------------------------------------- /src/stream/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/stream/WALK -------------------------------------------------------------------------------- /src/stream/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/stream/sources.cm -------------------------------------------------------------------------------- /src/stream/stream.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/stream/stream.sml -------------------------------------------------------------------------------- /src/style/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/style/sources.cm -------------------------------------------------------------------------------- /src/style/style.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/style/style.fun -------------------------------------------------------------------------------- /src/style/style.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/style/style.sig -------------------------------------------------------------------------------- /src/style/style.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/style/style.sml -------------------------------------------------------------------------------- /src/subordinate/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/subordinate/README -------------------------------------------------------------------------------- /src/subordinate/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/subordinate/WALK -------------------------------------------------------------------------------- /src/subordinate/intset.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/subordinate/intset.sml -------------------------------------------------------------------------------- /src/subordinate/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/subordinate/sources.cm -------------------------------------------------------------------------------- /src/table/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/README -------------------------------------------------------------------------------- /src/table/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/WALK -------------------------------------------------------------------------------- /src/table/hash-table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/hash-table.sml -------------------------------------------------------------------------------- /src/table/hash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/hash.sml -------------------------------------------------------------------------------- /src/table/queue.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/queue.sig -------------------------------------------------------------------------------- /src/table/queue.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/queue.sml -------------------------------------------------------------------------------- /src/table/red-black-set.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/red-black-set.sig -------------------------------------------------------------------------------- /src/table/red-black-set.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/red-black-set.sml -------------------------------------------------------------------------------- /src/table/red-black-tree.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/red-black-tree.fun -------------------------------------------------------------------------------- /src/table/redblack.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/redblack.sml -------------------------------------------------------------------------------- /src/table/ring.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/ring.sig -------------------------------------------------------------------------------- /src/table/ring.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/ring.sml -------------------------------------------------------------------------------- /src/table/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/sources.cm -------------------------------------------------------------------------------- /src/table/sparse-array.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/sparse-array.fun -------------------------------------------------------------------------------- /src/table/sparse-array.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/sparse-array.sig -------------------------------------------------------------------------------- /src/table/sparse-array2.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/sparse-array2.fun -------------------------------------------------------------------------------- /src/table/sparse-array2.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/sparse-array2.sig -------------------------------------------------------------------------------- /src/table/string-hash.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/string-hash.sig -------------------------------------------------------------------------------- /src/table/string-hash.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/string-hash.sml -------------------------------------------------------------------------------- /src/table/table.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/table.sig -------------------------------------------------------------------------------- /src/table/table.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/table/table.sml -------------------------------------------------------------------------------- /src/tabling/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tabling/sources.cm -------------------------------------------------------------------------------- /src/tabling/tabled.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tabling/tabled.sml -------------------------------------------------------------------------------- /src/tabling/tabledsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tabling/tabledsyn.fun -------------------------------------------------------------------------------- /src/tabling/tabledsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tabling/tabledsyn.sig -------------------------------------------------------------------------------- /src/terminate/README: -------------------------------------------------------------------------------- 1 | Termination checker 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /src/terminate/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/WALK -------------------------------------------------------------------------------- /src/terminate/checking.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/checking.fun -------------------------------------------------------------------------------- /src/terminate/checking.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/checking.sig -------------------------------------------------------------------------------- /src/terminate/reduces.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/reduces.fun -------------------------------------------------------------------------------- /src/terminate/reduces.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/reduces.sig -------------------------------------------------------------------------------- /src/terminate/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/sources.cm -------------------------------------------------------------------------------- /src/terminate/terminate.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/terminate/terminate.sml -------------------------------------------------------------------------------- /src/thm/README: -------------------------------------------------------------------------------- 1 | Theorem and related declarations 2 | Author: Carsten Schuermann 3 | 4 | -------------------------------------------------------------------------------- /src/thm/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/WALK -------------------------------------------------------------------------------- /src/thm/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/sources.cm -------------------------------------------------------------------------------- /src/thm/thm.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thm.fun -------------------------------------------------------------------------------- /src/thm/thm.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thm.sig -------------------------------------------------------------------------------- /src/thm/thm.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thm.sml -------------------------------------------------------------------------------- /src/thm/thmprint.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thmprint.fun -------------------------------------------------------------------------------- /src/thm/thmprint.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thmprint.sig -------------------------------------------------------------------------------- /src/thm/thmsyn.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thmsyn.fun -------------------------------------------------------------------------------- /src/thm/thmsyn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/thm/thmsyn.sig -------------------------------------------------------------------------------- /src/timing/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/README -------------------------------------------------------------------------------- /src/timing/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/WALK -------------------------------------------------------------------------------- /src/timing/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/sources.cm -------------------------------------------------------------------------------- /src/timing/time-limit.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/time-limit.sml -------------------------------------------------------------------------------- /src/timing/timers.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/timers.fun -------------------------------------------------------------------------------- /src/timing/timers.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/timers.sig -------------------------------------------------------------------------------- /src/timing/timers.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/timers.sml -------------------------------------------------------------------------------- /src/timing/timing.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/timing/timing.sml -------------------------------------------------------------------------------- /src/tomega/abstract.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/abstract.fun -------------------------------------------------------------------------------- /src/tomega/abstract.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/abstract.sig -------------------------------------------------------------------------------- /src/tomega/converter.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/converter.fun -------------------------------------------------------------------------------- /src/tomega/converter.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/converter.sig -------------------------------------------------------------------------------- /src/tomega/coverage.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/coverage.fun -------------------------------------------------------------------------------- /src/tomega/coverage.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/coverage.sig -------------------------------------------------------------------------------- /src/tomega/normalize.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/normalize.fun -------------------------------------------------------------------------------- /src/tomega/normalize.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/normalize.sig -------------------------------------------------------------------------------- /src/tomega/opsem.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/opsem.fun -------------------------------------------------------------------------------- /src/tomega/opsem.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/opsem.sig -------------------------------------------------------------------------------- /src/tomega/redundant.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/redundant.fun -------------------------------------------------------------------------------- /src/tomega/redundant.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/redundant.sig -------------------------------------------------------------------------------- /src/tomega/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/sources.cm -------------------------------------------------------------------------------- /src/tomega/tomega.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/tomega.sml -------------------------------------------------------------------------------- /src/tomega/typecheck.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/typecheck.fun -------------------------------------------------------------------------------- /src/tomega/typecheck.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/typecheck.sig -------------------------------------------------------------------------------- /src/tomega/unify.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/unify.fun -------------------------------------------------------------------------------- /src/tomega/unify.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/tomega/unify.sig -------------------------------------------------------------------------------- /src/trail/README: -------------------------------------------------------------------------------- 1 | Generic Trailing 2 | Author: Roberto Virga 3 | -------------------------------------------------------------------------------- /src/trail/notrail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/trail/notrail.sml -------------------------------------------------------------------------------- /src/trail/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/trail/sources.cm -------------------------------------------------------------------------------- /src/trail/trail.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/trail/trail.sig -------------------------------------------------------------------------------- /src/trail/trail.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/trail/trail.sml -------------------------------------------------------------------------------- /src/typecheck/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/typecheck/README -------------------------------------------------------------------------------- /src/typecheck/WALK: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/typecheck/WALK -------------------------------------------------------------------------------- /src/typecheck/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/typecheck/sources.cm -------------------------------------------------------------------------------- /src/typecheck/strict.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/typecheck/strict.fun -------------------------------------------------------------------------------- /src/typecheck/strict.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/typecheck/strict.sig -------------------------------------------------------------------------------- /src/unique/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/unique/sources.cm -------------------------------------------------------------------------------- /src/unique/unique.fun: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/unique/unique.fun -------------------------------------------------------------------------------- /src/unique/unique.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/unique/unique.sig -------------------------------------------------------------------------------- /src/unique/unique.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/unique/unique.sml -------------------------------------------------------------------------------- /src/worldcheck/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/worldcheck/README -------------------------------------------------------------------------------- /src/worldcheck/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/worldcheck/TODO -------------------------------------------------------------------------------- /src/worldcheck/sources.cm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/src/worldcheck/sources.cm -------------------------------------------------------------------------------- /tex/code.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/tex/code.sty -------------------------------------------------------------------------------- /tex/example.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/tex/example.tex -------------------------------------------------------------------------------- /tex/twelf.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/tex/twelf.sty -------------------------------------------------------------------------------- /tools/textmate/README: -------------------------------------------------------------------------------- 1 | The start of a TextMate bundle by Tiark Rompf. 2 | 3 | -------------------------------------------------------------------------------- /tools/wiki/syntax/main.hs: -------------------------------------------------------------------------------- 1 | import TwelfLex 2 | 3 | main = interact runitall -------------------------------------------------------------------------------- /vim/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/vim/README -------------------------------------------------------------------------------- /vim/filetype.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/vim/filetype.vim -------------------------------------------------------------------------------- /vim/syntax/twelf.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/vim/syntax/twelf.vim -------------------------------------------------------------------------------- /wiki/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/.gitignore -------------------------------------------------------------------------------- /wiki/CONTRIBUTORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/CONTRIBUTORS -------------------------------------------------------------------------------- /wiki/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/README.md -------------------------------------------------------------------------------- /wiki/astro.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/astro.config.mjs -------------------------------------------------------------------------------- /wiki/elf-to-mdx.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/elf-to-mdx.mjs -------------------------------------------------------------------------------- /wiki/elf-watcher.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/elf-watcher.mjs -------------------------------------------------------------------------------- /wiki/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/package-lock.json -------------------------------------------------------------------------------- /wiki/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/package.json -------------------------------------------------------------------------------- /wiki/pages/adequacy.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/adequacy.elf -------------------------------------------------------------------------------- /wiki/pages/download.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/download.elf -------------------------------------------------------------------------------- /wiki/pages/equality.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/equality.elf -------------------------------------------------------------------------------- /wiki/pages/focusing.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/focusing.elf -------------------------------------------------------------------------------- /wiki/pages/function.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/function.elf -------------------------------------------------------------------------------- /wiki/pages/glossary.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/glossary.elf -------------------------------------------------------------------------------- /wiki/pages/ground.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/ground.elf -------------------------------------------------------------------------------- /wiki/pages/judgment.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/judgment.elf -------------------------------------------------------------------------------- /wiki/pages/lax-logic.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/lax-logic.elf -------------------------------------------------------------------------------- /wiki/pages/letrec.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/letrec.elf -------------------------------------------------------------------------------- /wiki/pages/lf.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/lf.elf -------------------------------------------------------------------------------- /wiki/pages/lily.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/lily.elf -------------------------------------------------------------------------------- /wiki/pages/lists.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/lists.elf -------------------------------------------------------------------------------- /wiki/pages/meta-logic.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/meta-logic.elf -------------------------------------------------------------------------------- /wiki/pages/relation.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/relation.elf -------------------------------------------------------------------------------- /wiki/pages/sudoku.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/sudoku.elf -------------------------------------------------------------------------------- /wiki/pages/talk-lily.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/talk-lily.elf -------------------------------------------------------------------------------- /wiki/pages/talk-lists.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/talk-lists.elf -------------------------------------------------------------------------------- /wiki/pages/talk-thaw.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/talk-thaw.elf -------------------------------------------------------------------------------- /wiki/pages/tutorials.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/tutorials.elf -------------------------------------------------------------------------------- /wiki/pages/twelf-live.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/twelf-live.elf -------------------------------------------------------------------------------- /wiki/pages/twelftag.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/twelftag.elf -------------------------------------------------------------------------------- /wiki/pages/user-crary.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/user-crary.elf -------------------------------------------------------------------------------- /wiki/pages/user-drl.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/user-drl.elf -------------------------------------------------------------------------------- /wiki/pages/user-jaked.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/user-jaked.elf -------------------------------------------------------------------------------- /wiki/pages/user-tom7.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/user-tom7.elf -------------------------------------------------------------------------------- /wiki/pages/whats-new.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/pages/whats-new.elf -------------------------------------------------------------------------------- /wiki/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/public/favicon.ico -------------------------------------------------------------------------------- /wiki/public/robots.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/public/robots.txt -------------------------------------------------------------------------------- /wiki/public/socialelf.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/public/socialelf.jpg -------------------------------------------------------------------------------- /wiki/src/env.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/src/env.d.ts -------------------------------------------------------------------------------- /wiki/src/styles/wiki.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/src/styles/wiki.css -------------------------------------------------------------------------------- /wiki/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/standardml/twelf/HEAD/wiki/tsconfig.json --------------------------------------------------------------------------------