twelf/CVS/Root
twelf/CVS/Repository
twelf/CVS/Entries
twelf/DISTRIBUTE
twelf/FILES
twelf/HISTORY
twelf/Makefile
twelf/Makefile.NT
twelf/NOTES
twelf/README
twelf/README.NT
twelf/REMARKS
twelf/TODO
twelf/load.sml
twelf/server.cm
twelf/sources.cm
twelf/twelf-server.sml
twelf/twelf-sml.sml
twelf/InstallShield/CVS/Root
twelf/InstallShield/CVS/Repository
twelf/InstallShield/CVS/Entries
twelf/InstallShield/INSTALL.txt
twelf/InstallShield/README.TXT
twelf/InstallShield/README.final
twelf/InstallShield/twelf-init.el
twelf/InstallShield/twelf-server.bat
twelf/InstallShield/twelf1-2.iwz
twelf/TEST/CVS/Root
twelf/TEST/CVS/Repository
twelf/TEST/CVS/Entries
twelf/TEST/all-nt.sml
twelf/TEST/all.sml
twelf/TEST/constr.elf
twelf/TEST/constr2.elf
twelf/TEST/cp.elf
twelf/TEST/cp2nd.sml
twelf/TEST/cp3rd.sml
twelf/TEST/cr.sml
twelf/TEST/kevin.elf
twelf/TEST/lexing.elf
twelf/TEST/location.elf
twelf/TEST/m.sml
twelf/TEST/meta.sml
twelf/TEST/misc.elf
twelf/TEST/modes.elf
twelf/TEST/parsing.elf
twelf/TEST/skolem.sml
twelf/TEST/solving.elf
twelf/TEST/strict.elf
twelf/TEST/term.elf
twelf/TEST/test.cfg
twelf/TEST/tprecon.elf
twelf/TEST/unsafe.sml
twelf/TEST/occurs.elf
twelf/TEST/appel.elf
twelf/bin/CVS/Root
twelf/bin/CVS/Repository
twelf/bin/CVS/Entries
twelf/bin/.cvsignore
twelf/bin/.twelf-server
twelf/bin/.twelf-server.bat
twelf/bin/.twelf-sml
twelf/bin/.twelf-sml.bat
twelf/bin/clean
twelf/bin/clean-cm
twelf/bin/create-tags
twelf/bin/tag-examples
twelf/bin/tag-twelf
twelf/bin/.heap/CVS/Root
twelf/bin/.heap/CVS/Repository
twelf/bin/.heap/CVS/Entries
twelf/bin/.heap/.cvsignore
twelf/bin/.heap/README
twelf/bin/.heap/twelf-server.x86-linux
twelf/bin/twelf-server
twelf/doc/CVS/Root
twelf/doc/CVS/Repository
twelf/doc/CVS/Entries
twelf/doc/UPDATE
twelf/doc/dvi/CVS/Root
twelf/doc/dvi/CVS/Repository
twelf/doc/dvi/CVS/Entries
twelf/doc/dvi/.cvsignore
twelf/doc/guide/CVS/Root
twelf/doc/guide/CVS/Repository
twelf/doc/guide/CVS/Entries
twelf/doc/guide/.cvsignore
twelf/doc/guide/Makefile
twelf/doc/guide/README
twelf/doc/guide/config.embed
twelf/doc/guide/twelf.texi
twelf/doc/html/CVS/Root
twelf/doc/html/CVS/Repository
twelf/doc/html/CVS/Entries
twelf/doc/html/.cvsignore
twelf/doc/html/index.html
twelf/doc/info/CVS/Root
twelf/doc/info/CVS/Repository
twelf/doc/info/CVS/Entries
twelf/doc/info/.cvsignore
twelf/doc/pdf/CVS/Root
twelf/doc/pdf/CVS/Repository
twelf/doc/pdf/CVS/Entries
twelf/doc/pdf/.cvsignore
twelf/doc/ps/CVS/Root
twelf/doc/ps/CVS/Repository
twelf/doc/ps/CVS/Entries
twelf/doc/ps/.cvsignore
twelf/emacs/CVS/Root
twelf/emacs/CVS/Repository
twelf/emacs/CVS/Entries
twelf/emacs/.cvsignore
twelf/emacs/.twelf-init.el
twelf/emacs/README
twelf/emacs/auc-menu.el
twelf/emacs/twelf-font.el
twelf/emacs/twelf-hilit.el
twelf/emacs/twelf.el
twelf/emacs/twelf-init.el
twelf/examples/CVS/Root
twelf/examples/CVS/Repository
twelf/examples/CVS/Entries
twelf/examples/README
twelf/examples/arith/CVS/Root
twelf/examples/arith/CVS/Repository
twelf/examples/arith/CVS/Entries
twelf/examples/arith/README
twelf/examples/arith/arith.elf
twelf/examples/arith/arith.thm
twelf/examples/arith/sources.cfg
twelf/examples/arith/test.cfg
twelf/examples/ccc/CVS/Root
twelf/examples/ccc/CVS/Repository
twelf/examples/ccc/CVS/Entries
twelf/examples/ccc/README
twelf/examples/ccc/abs-env.elf
twelf/examples/ccc/catlem.elf
twelf/examples/ccc/ccc.elf
twelf/examples/ccc/conc.elf
twelf/examples/ccc/conc.thm
twelf/examples/ccc/cong.elf
twelf/examples/ccc/eqpres1.elf
twelf/examples/ccc/eqpres2.elf
twelf/examples/ccc/examples.quy
twelf/examples/ccc/inv1.elf
twelf/examples/ccc/inv2.elf
twelf/examples/ccc/lambda.elf
twelf/examples/ccc/pf.dvi
twelf/examples/ccc/refl.elf
twelf/examples/ccc/sources.cfg
twelf/examples/ccc/spass.cfg
twelf/examples/ccc/spass.elf
twelf/examples/ccc/spass.sml
twelf/examples/ccc/subext.elf
twelf/examples/ccc/test.cfg
twelf/examples/church-rosser/CVS/Root
twelf/examples/church-rosser/CVS/Repository
twelf/examples/church-rosser/CVS/Entries
twelf/examples/church-rosser/README
twelf/examples/church-rosser/church-rosser.thm
twelf/examples/church-rosser/cr.thm
twelf/examples/church-rosser/equiv.elf
twelf/examples/church-rosser/examples.quy
twelf/examples/church-rosser/lam.elf
twelf/examples/church-rosser/ord-cr.elf
twelf/examples/church-rosser/ord-lemmas.elf
twelf/examples/church-rosser/ord-red.elf
twelf/examples/church-rosser/par-cr.elf
twelf/examples/church-rosser/par-lemmas.elf
twelf/examples/church-rosser/par-red.elf
twelf/examples/church-rosser/sources.cfg
twelf/examples/church-rosser/test-unsafe.cfg
twelf/examples/church-rosser/test.cfg
twelf/examples/church-rosser/test.tag
twelf/examples/compile/CVS/Root
twelf/examples/compile/CVS/Repository
twelf/examples/compile/CVS/Entries
twelf/examples/compile/README
twelf/examples/compile/cls/CVS/Root
twelf/examples/compile/cls/CVS/Repository
twelf/examples/compile/cls/CVS/Entries
twelf/examples/compile/cls/cls-complete.elf
twelf/examples/compile/cls/cls-sound.elf
twelf/examples/compile/cls/cls.elf
twelf/examples/compile/cls/compute.elf
twelf/examples/compile/cls/debruijn.elf
twelf/examples/compile/cls/examples.quy
twelf/examples/compile/cls/feval.elf
twelf/examples/compile/cls/mini-ml.elf
twelf/examples/compile/cls/slow.quy
twelf/examples/compile/cls/sources.cfg
twelf/examples/compile/cls/test.cfg
twelf/examples/compile/cls/trans.elf
twelf/examples/compile/cls/trans2.elf
twelf/examples/compile/cpm/CVS/Root
twelf/examples/compile/cpm/CVS/Repository
twelf/examples/compile/cpm/CVS/Entries
twelf/examples/compile/cpm/ceval-complete.elf
twelf/examples/compile/cpm/ceval-complete.thm
twelf/examples/compile/cpm/ceval-sound.elf
twelf/examples/compile/cpm/ceval.elf
twelf/examples/compile/cpm/cpm.elf
twelf/examples/compile/cpm/evalv.elf
twelf/examples/compile/cpm/examples.quy
twelf/examples/compile/cpm/mini-mlv.elf
twelf/examples/compile/cpm/proof-equiv.elf
twelf/examples/compile/cpm/proof-equiv.thm
twelf/examples/compile/cpm/slow.quy
twelf/examples/compile/cpm/sources.cfg
twelf/examples/compile/cpm/test.cfg
twelf/examples/compile/cpm/theorems.elf
twelf/examples/compile/cpm/theorems.thm
twelf/examples/compile/cps/CVS/Root
twelf/examples/compile/cps/CVS/Repository
twelf/examples/compile/cps/CVS/Entries
twelf/examples/compile/cps/cps-eval.elf
twelf/examples/compile/cps/cps.elf
twelf/examples/compile/cps/examples.quy
twelf/examples/compile/cps/mini-ml.elf
twelf/examples/compile/cps/ml-cps.elf
twelf/examples/compile/cps/sources.cfg
twelf/examples/compile/cps/test.cfg
twelf/examples/compile/cxm/CVS/Root
twelf/examples/compile/cxm/CVS/Repository
twelf/examples/compile/cxm/CVS/Entries
twelf/examples/compile/cxm/evalv.elf
twelf/examples/compile/cxm/examples.quy
twelf/examples/compile/cxm/mini-mlv.elf
twelf/examples/compile/cxm/sources.cfg
twelf/examples/compile/cxm/test.cfg
twelf/examples/compile/cxm/xeval.elf
twelf/examples/compile/debruijn/CVS/Root
twelf/examples/compile/debruijn/CVS/Repository
twelf/examples/compile/debruijn/CVS/Entries
twelf/examples/compile/debruijn/debruijn.elf
twelf/examples/compile/debruijn/eval.elf
twelf/examples/compile/debruijn/examples.quy
twelf/examples/compile/debruijn/feval.elf
twelf/examples/compile/debruijn/map-eval.elf
twelf/examples/compile/debruijn/mini-ml.elf
twelf/examples/compile/debruijn/sources.cfg
twelf/examples/compile/debruijn/test.cfg
twelf/examples/compile/debruijn/trans.elf
twelf/examples/compile/debruijn/val-lemmas.elf
twelf/examples/compile/debruijn/value.elf
twelf/examples/compile/debruijn1/CVS/Root
twelf/examples/compile/debruijn1/CVS/Repository
twelf/examples/compile/debruijn1/CVS/Entries
twelf/examples/compile/debruijn1/debruijn.elf
twelf/examples/compile/debruijn1/eval.elf
twelf/examples/compile/debruijn1/examples.quy
twelf/examples/compile/debruijn1/feval.elf
twelf/examples/compile/debruijn1/map-eval.elf
twelf/examples/compile/debruijn1/mini-ml.elf
twelf/examples/compile/debruijn1/sources.cfg
twelf/examples/compile/debruijn1/test.cfg
twelf/examples/compile/debruijn1/trans.elf
twelf/examples/cpsocc/CVS/Root
twelf/examples/cpsocc/CVS/Repository
twelf/examples/cpsocc/CVS/Entries
twelf/examples/cpsocc/NOTES
twelf/examples/cpsocc/READ.ME
twelf/examples/cpsocc/corr.elf
twelf/examples/cpsocc/cpsBNF.elf
twelf/examples/cpsocc/def1+5+fig4.elf
twelf/examples/cpsocc/def13.elf
twelf/examples/cpsocc/def16.elf
twelf/examples/cpsocc/def3+6+fig5.elf
twelf/examples/cpsocc/dsBNF.elf
twelf/examples/cpsocc/examples.quy
twelf/examples/cpsocc/examples.quy.orig
twelf/examples/cpsocc/fig1.elf
twelf/examples/cpsocc/fig10.elf
twelf/examples/cpsocc/fig11.elf
twelf/examples/cpsocc/fig12.elf
twelf/examples/cpsocc/fig13.elf
twelf/examples/cpsocc/fig7.elf
twelf/examples/cpsocc/fig8.elf
twelf/examples/cpsocc/fig9.elf
twelf/examples/cpsocc/lemma14.elf
twelf/examples/cpsocc/lemma17.elf
twelf/examples/cpsocc/lemma7.elf
twelf/examples/cpsocc/lemma9.elf
twelf/examples/cpsocc/load.sml
twelf/examples/cpsocc/sources.cfg
twelf/examples/cpsocc/test.cfg
twelf/examples/cpsocc/test.quy
twelf/examples/cpsocc/test.quy.orig
twelf/examples/cpsocc/th10.elf
twelf/examples/cpsocc/th15.elf
twelf/examples/cpsocc/th18.elf
twelf/examples/cpsocc/th2.elf
twelf/examples/cpsocc/th4.elf
twelf/examples/cpsocc/th8.elf
twelf/examples/cut-elim/CVS/Root
twelf/examples/cut-elim/CVS/Repository
twelf/examples/cut-elim/CVS/Entries
twelf/examples/cut-elim/README
twelf/examples/cut-elim/cl-admit.elf
twelf/examples/cut-elim/cl-cut.elf
twelf/examples/cut-elim/cl-elim.elf
twelf/examples/cut-elim/cl.elf
twelf/examples/cut-elim/cl.thm
twelf/examples/cut-elim/examples.quy
twelf/examples/cut-elim/formulas.elf
twelf/examples/cut-elim/int-admit.elf
twelf/examples/cut-elim/int-cut.elf
twelf/examples/cut-elim/int-elim.elf
twelf/examples/cut-elim/int.elf
twelf/examples/cut-elim/int.thm
twelf/examples/cut-elim/sources.cfg
twelf/examples/cut-elim/test.cfg
twelf/examples/fol/CVS/Root
twelf/examples/fol/CVS/Repository
twelf/examples/fol/CVS/Entries
twelf/examples/fol/README
twelf/examples/fol/fol.elf
twelf/examples/fol/fol.thm
twelf/examples/fol/sources.cfg
twelf/examples/fol/test.cfg
twelf/examples/guide/CVS/Root
twelf/examples/guide/CVS/Repository
twelf/examples/guide/CVS/Entries
twelf/examples/guide/lam.elf
twelf/examples/guide/lists.elf
twelf/examples/guide/nd.elf
twelf/examples/guide/sources.cfg
twelf/examples/guide/test.cfg
twelf/examples/incll/CVS/Root
twelf/examples/incll/CVS/Repository
twelf/examples/incll/CVS/Entries
twelf/examples/incll/README
twelf/examples/incll/cpm-incll.elf
twelf/examples/incll/cpm-incll.quy
twelf/examples/incll/incll.elf
twelf/examples/incll/iosequents.elf
twelf/examples/incll/lists-incll.elf
twelf/examples/incll/lists-incll.quy
twelf/examples/incll/lists.elf
twelf/examples/incll/search-incll.elf
twelf/examples/incll/search-incll.quy
twelf/examples/incll/sort-incll.elf
twelf/examples/incll/sort-incll.quy
twelf/examples/incll/sources.cfg
twelf/examples/incll/test.cfg
twelf/examples/incll/parse-incll.elf
twelf/examples/incll/parse-incll.quy
twelf/examples/incll/parse-lolli.elf
twelf/examples/incll/parse-lolli.quy
twelf/examples/kolm/CVS/Root
twelf/examples/kolm/CVS/Repository
twelf/examples/kolm/CVS/Entries
twelf/examples/kolm/README
twelf/examples/kolm/complete.elf
twelf/examples/kolm/examples.quy
twelf/examples/kolm/fol.elf
twelf/examples/kolm/kolmtrans.elf
twelf/examples/kolm/nj.elf
twelf/examples/kolm/nk.elf
twelf/examples/kolm/report.ps
twelf/examples/kolm/sound.elf
twelf/examples/kolm/sources.cfg
twelf/examples/kolm/test.cfg
twelf/examples/lp/CVS/Root
twelf/examples/lp/CVS/Repository
twelf/examples/lp/CVS/Entries
twelf/examples/lp/canon.elf
twelf/examples/lp/cont.elf
twelf/examples/lp/conv.elf
twelf/examples/lp/examples.elf
twelf/examples/lp/examples.quy
twelf/examples/lp/fohh-formulas.elf
twelf/examples/lp/fohh.elf
twelf/examples/lp/iscan.elf
twelf/examples/lp/natded.elf
twelf/examples/lp/res-complete.elf
twelf/examples/lp/res-sound.elf
twelf/examples/lp/resolution.elf
twelf/examples/lp/sources.cfg
twelf/examples/lp/test.cfg
twelf/examples/lp/uni-complete.elf
twelf/examples/lp/uni-sound.elf
twelf/examples/lp/uniform.elf
twelf/examples/lp-horn/CVS/Root
twelf/examples/lp-horn/CVS/Repository
twelf/examples/lp-horn/CVS/Entries
twelf/examples/lp-horn/canon.elf
twelf/examples/lp-horn/conv.elf
twelf/examples/lp-horn/examples.quy
twelf/examples/lp-horn/iscan.elf
twelf/examples/lp-horn/natded.elf
twelf/examples/lp-horn/sources.cfg
twelf/examples/lp-horn/test.cfg
twelf/examples/lp-horn/uni-can.elf
twelf/examples/lp-horn/uni-can.thm
twelf/examples/lp-horn/uni-complete.elf
twelf/examples/lp-horn/uni-complete.thm
twelf/examples/lp-horn/uni-sound.elf
twelf/examples/lp-horn/uni-sound.thm
twelf/examples/lp-horn/uniform.elf
twelf/examples/mini-ml/CVS/Root
twelf/examples/mini-ml/CVS/Repository
twelf/examples/mini-ml/CVS/Entries
twelf/examples/mini-ml/closed.elf
twelf/examples/mini-ml/eval.elf
twelf/examples/mini-ml/eval1.elf
twelf/examples/mini-ml/eval2.elf
twelf/examples/mini-ml/examples.quy
twelf/examples/mini-ml/examples1.quy
twelf/examples/mini-ml/examples2.quy
twelf/examples/mini-ml/examples3.quy
twelf/examples/mini-ml/mini-ml.elf
twelf/examples/mini-ml/reduce.elf
twelf/examples/mini-ml/reduce.thm
twelf/examples/mini-ml/schema.thm
twelf/examples/mini-ml/sources.cfg
twelf/examples/mini-ml/test.cfg
twelf/examples/mini-ml/theorems.thm
twelf/examples/mini-ml/tp-preserve.elf
twelf/examples/mini-ml/tp-preserve.thm
twelf/examples/mini-ml/tp.elf
twelf/examples/mini-ml/tpinf.elf
twelf/examples/mini-ml/val-sound.elf
twelf/examples/mini-ml/val-sound.thm
twelf/examples/mini-ml/value.elf
twelf/examples/polylam/CVS/Root
twelf/examples/polylam/CVS/Repository
twelf/examples/polylam/CVS/Entries
twelf/examples/polylam/examples.quy
twelf/examples/polylam/polylam.elf
twelf/examples/polylam/sources.cfg
twelf/examples/polylam/test.cfg
twelf/examples/prop-calc/CVS/Root
twelf/examples/prop-calc/CVS/Repository
twelf/examples/prop-calc/CVS/Entries
twelf/examples/prop-calc/README
twelf/examples/prop-calc/equiv.elf
twelf/examples/prop-calc/equiv.thm
twelf/examples/prop-calc/examples.quy
twelf/examples/prop-calc/prop-calc.elf
twelf/examples/prop-calc/sources.cfg
twelf/examples/prop-calc/test.cfg
twelf/examples/units/CVS/Root
twelf/examples/units/CVS/Repository
twelf/examples/units/CVS/Entries
twelf/exercises/CVS/Root
twelf/exercises/CVS/Repository
twelf/exercises/CVS/Entries
twelf/exercises/README
twelf/exercises/opt-eval/CVS/Root
twelf/exercises/opt-eval/CVS/Repository
twelf/exercises/opt-eval/CVS/Entries
twelf/exercises/opt-eval/README
twelf/exercises/opt-eval/eval.elf
twelf/exercises/opt-eval/examples.quy
twelf/exercises/opt-eval/mini-ml.elf
twelf/exercises/opt-eval/opt-equiv1.elf
twelf/exercises/opt-eval/opt-equiv1.thm
twelf/exercises/opt-eval/opt-equiv2.elf
twelf/exercises/opt-eval/opt-equiv2.thm
twelf/exercises/opt-eval/opt-eval.elf
twelf/exercises/opt-eval/opt-mini-ml.elf
twelf/exercises/opt-eval/opt-rep1.elf
twelf/exercises/opt-eval/opt-rep2.elf
twelf/exercises/opt-eval/sources.cfg
twelf/exercises/opt-eval/test.cfg
twelf/exercises/units/CVS/Root
twelf/exercises/units/CVS/Repository
twelf/exercises/units/CVS/Entries
twelf/exercises/units/NOTES
twelf/exercises/units/README
twelf/exercises/units/constants.elf
twelf/exercises/units/eqtype-lemmas.elf
twelf/exercises/units/eqtypes.elf
twelf/exercises/units/equnits-alg.elf
twelf/exercises/units/equnits-sound.elf
twelf/exercises/units/equnits.elf
twelf/exercises/units/eval.elf
twelf/exercises/units/examples.quy
twelf/exercises/units/language.elf
twelf/exercises/units/number.elf
twelf/exercises/units/sources.cfg
twelf/exercises/units/test.cfg
twelf/exercises/units/tp-complete.elf
twelf/exercises/units/tp-inf.elf
twelf/exercises/units/tp-preserve.elf
twelf/exercises/units/tp-rules.elf
twelf/exercises/units/tp-sound.elf
twelf/exercises/units/types.elf
twelf/exercises/units/units.elf
twelf/exercises/units/value.elf
twelf/src/CVS/Root
twelf/src/CVS/Repository
twelf/src/CVS/Entries
twelf/src/WALK
twelf/src/formatter/CVS/Root
twelf/src/formatter/CVS/Repository
twelf/src/formatter/CVS/Entries
twelf/src/formatter/README
twelf/src/formatter/formatter.fun
twelf/src/formatter/formatter.sig
twelf/src/formatter/formatter.sml
twelf/src/formatter/sources.cm
twelf/src/frontend/CVS/Root
twelf/src/frontend/CVS/Repository
twelf/src/frontend/CVS/Entries
twelf/src/frontend/WALK
twelf/src/frontend/frontend.sml
twelf/src/frontend/lexer.fun
twelf/src/frontend/lexer.sig
twelf/src/frontend/moderecon.fun
twelf/src/frontend/moderecon.sig
twelf/src/frontend/parse-condec.fun
twelf/src/frontend/parse-condec.sig
twelf/src/frontend/parse-fixity.fun
twelf/src/frontend/parse-fixity.sig
twelf/src/frontend/parse-mode.fun
twelf/src/frontend/parse-mode.sig
twelf/src/frontend/parse-query.fun
twelf/src/frontend/parse-query.sig
twelf/src/frontend/parse-term.fun
twelf/src/frontend/parse-term.sig
twelf/src/frontend/parse-thm.fun
twelf/src/frontend/parse-thm.sig
twelf/src/frontend/parser.fun
twelf/src/frontend/parser.sig
twelf/src/frontend/parsing.fun
twelf/src/frontend/parsing.sig
twelf/src/frontend/solve.fun
twelf/src/frontend/solve.sig
twelf/src/frontend/sources.cm
twelf/src/frontend/thmrecon.fun
twelf/src/frontend/thmrecon.sig
twelf/src/frontend/tprecon.fun
twelf/src/frontend/tprecon.sig
twelf/src/frontend/tptrace.fun
twelf/src/frontend/twelf.fun
twelf/src/frontend/twelf.sig
twelf/src/frontend/tptrace1.fun
twelf/src/global/CVS/Root
twelf/src/global/CVS/Repository
twelf/src/global/CVS/Entries
twelf/src/global/README
twelf/src/global/WALK
twelf/src/global/global.sig
twelf/src/global/global.sml
twelf/src/global/sources.cm
twelf/src/heuristic/CVS/Root
twelf/src/heuristic/CVS/Repository
twelf/src/heuristic/CVS/Entries
twelf/src/heuristic/heuristic.fun
twelf/src/heuristic/heuristic.sig
twelf/src/heuristic/sources.cm
twelf/src/index/CVS/Root
twelf/src/index/CVS/Repository
twelf/src/index/CVS/Entries
twelf/src/index/README
twelf/src/index/WALK
twelf/src/index/index-skolem.fun
twelf/src/index/index.fun
twelf/src/index/index.sig
twelf/src/index/index.sml
twelf/src/index/sources.cm
twelf/src/lambda/CVS/Root
twelf/src/lambda/CVS/Repository
twelf/src/lambda/CVS/Entries
twelf/src/lambda/README
twelf/src/lambda/WALK
twelf/src/lambda/abstract.fun
twelf/src/lambda/abstract.sig
twelf/src/lambda/constraints.fun
twelf/src/lambda/constraints.sig
twelf/src/lambda/conv.fun
twelf/src/lambda/conv.sig
twelf/src/lambda/intsyn.fun
twelf/src/lambda/intsyn.sig
twelf/src/lambda/lambda.sml
twelf/src/lambda/notrail.fun
twelf/src/lambda/sources.cm
twelf/src/lambda/trail.fun
twelf/src/lambda/trail.sig
twelf/src/lambda/unify.fun
twelf/src/lambda/unify.sig
twelf/src/lambda/whnf.fun
twelf/src/lambda/whnf.sig
twelf/src/m2/CVS/Root
twelf/src/m2/CVS/Repository
twelf/src/m2/CVS/Entries
twelf/src/m2/README
twelf/src/m2/WALK
twelf/src/m2/filling.fun
twelf/src/m2/filling.sig
twelf/src/m2/init.fun
twelf/src/m2/init.sig
twelf/src/m2/lemma.fun
twelf/src/m2/lemma.sig
twelf/src/m2/m2.sml
twelf/src/m2/meta-abstract.fun
twelf/src/m2/meta-abstract.sig
twelf/src/m2/meta-global.sig
twelf/src/m2/meta-global.sml
twelf/src/m2/meta-print.fun
twelf/src/m2/meta-print.sig
twelf/src/m2/metasyn.fun
twelf/src/m2/metasyn.sig
twelf/src/m2/mpi.fun
twelf/src/m2/mpi.sig
twelf/src/m2/prover.fun
twelf/src/m2/prover.sig
twelf/src/m2/qed.fun
twelf/src/m2/qed.sig
twelf/src/m2/recursion.fun
twelf/src/m2/recursion.sig
twelf/src/m2/search.fun
twelf/src/m2/search.sig
twelf/src/m2/skolem.fun
twelf/src/m2/skolem.sig
twelf/src/m2/sources.cm
twelf/src/m2/splitting.fun
twelf/src/m2/splitting.sig
twelf/src/m2/strategy.fun
twelf/src/m2/strategy.sig
twelf/src/meta/CVS/Root
twelf/src/meta/CVS/Repository
twelf/src/meta/CVS/Entries
twelf/src/meta/README
twelf/src/meta/WALK
twelf/src/meta/abstract.fun
twelf/src/meta/abstract.sig
twelf/src/meta/data.fun
twelf/src/meta/data.sig
twelf/src/meta/filling.fun
twelf/src/meta/filling.sig
twelf/src/meta/funnames.fun
twelf/src/meta/funnames.sig
twelf/src/meta/funprint.fun
twelf/src/meta/funprint.sig
twelf/src/meta/funsyn.fun
twelf/src/meta/funsyn.sig
twelf/src/meta/funtypecheck.fun
twelf/src/meta/funtypecheck.sig
twelf/src/meta/funweaken.fun
twelf/src/meta/funweaken.sig
twelf/src/meta/global.fun
twelf/src/meta/global.sig
twelf/src/meta/init.fun
twelf/src/meta/init.sig
twelf/src/meta/interpret.sig
twelf/src/meta/meta.sml
twelf/src/meta/mpi.fun
twelf/src/meta/mpi.sig
twelf/src/meta/print.fun
twelf/src/meta/print.sig
twelf/src/meta/prover.fun
twelf/src/meta/prover.sig
twelf/src/meta/recursion.fun
twelf/src/meta/recursion.sig
twelf/src/meta/relfun.fun
twelf/src/meta/relfun.sig
twelf/src/meta/search.fun
twelf/src/meta/search.sig
twelf/src/meta/sources.cm
twelf/src/meta/splitting.fun
twelf/src/meta/splitting.sig
twelf/src/meta/statesyn.fun
twelf/src/meta/statesyn.sig
twelf/src/meta/strategy.fun
twelf/src/meta/strategy.sig
twelf/src/meta/weaken.fun
twelf/src/meta/weaken.sig
twelf/src/meta/inference.fun
twelf/src/meta/inference.sig
twelf/src/meta/uniquesearch.fun
twelf/src/meta/uniquesearch.sig
twelf/src/modes/CVS/Root
twelf/src/modes/CVS/Repository
twelf/src/modes/CVS/Entries
twelf/src/modes/README
twelf/src/modes/WALK
twelf/src/modes/modecheck.fun
twelf/src/modes/modecheck.sig
twelf/src/modes/modedec.fun
twelf/src/modes/modedec.sig
twelf/src/modes/modeprint.fun
twelf/src/modes/modeprint.sig
twelf/src/modes/modes.sml
twelf/src/modes/modesyn.fun
twelf/src/modes/modesyn.sig
twelf/src/modes/sources.cm
twelf/src/names/CVS/Root
twelf/src/names/CVS/Repository
twelf/src/names/CVS/Entries
twelf/src/names/README
twelf/src/names/WALK
twelf/src/names/names.fun
twelf/src/names/names.sig
twelf/src/names/names.sml
twelf/src/names/sources.cm
twelf/src/opsem/CVS/Root
twelf/src/opsem/CVS/Repository
twelf/src/opsem/CVS/Entries
twelf/src/opsem/README
twelf/src/opsem/WALK
twelf/src/opsem/absmachine.fun
twelf/src/opsem/absmachine.sig
twelf/src/opsem/assign.fun
twelf/src/opsem/assign.sig
twelf/src/opsem/compile.fun
twelf/src/opsem/compile.sig
twelf/src/opsem/compsyn.fun
twelf/src/opsem/compsyn.sig
twelf/src/opsem/cprint.fun
twelf/src/opsem/cprint.sig
twelf/src/opsem/opsem.sml
twelf/src/opsem/sources.cm
twelf/src/opsem/tmachine.fun
twelf/src/opsem/trace.fun
twelf/src/opsem/trace.sig
twelf/src/order/CVS/Root
twelf/src/order/CVS/Repository
twelf/src/order/CVS/Entries
twelf/src/order/README
twelf/src/order/WALK
twelf/src/order/order.fun
twelf/src/order/order.sig
twelf/src/order/order.sml
twelf/src/order/sources.cm
twelf/src/paths/CVS/Root
twelf/src/paths/CVS/Repository
twelf/src/paths/CVS/Entries
twelf/src/paths/README
twelf/src/paths/WALK
twelf/src/paths/origins.fun
twelf/src/paths/origins.sig
twelf/src/paths/paths.fun
twelf/src/paths/paths.sig
twelf/src/paths/paths.sml
twelf/src/paths/sources.cm
twelf/src/print/CVS/Root
twelf/src/print/CVS/Repository
twelf/src/print/CVS/Entries
twelf/src/print/README
twelf/src/print/WALK
twelf/src/print/clause-print.fun
twelf/src/print/clause-print.sig
twelf/src/print/print-twega.fun
twelf/src/print/print-twega.sig
twelf/src/print/print.fun
twelf/src/print/print.sig
twelf/src/print/print.sml
twelf/src/print/sources.cm
twelf/src/print/symbol.fun
twelf/src/print/symbol.sig
twelf/src/print/traverse.fun
twelf/src/print/traverse.sig
twelf/src/server/CVS/Root
twelf/src/server/CVS/Repository
twelf/src/server/CVS/Entries
twelf/src/server/server.sml
twelf/src/server/sigint-smlnj.sml
twelf/src/server/sigint.sig
twelf/src/server/sources.cm
twelf/src/stream/CVS/Root
twelf/src/stream/CVS/Repository
twelf/src/stream/CVS/Entries
twelf/src/stream/README
twelf/src/stream/WALK
twelf/src/stream/sources.cm
twelf/src/stream/stream.sml
twelf/src/subordinate/CVS/Root
twelf/src/subordinate/CVS/Repository
twelf/src/subordinate/CVS/Entries
twelf/src/subordinate/WALK
twelf/src/subordinate/sources.cm
twelf/src/subordinate/subordinate.fun
twelf/src/subordinate/subordinate.sig
twelf/src/subordinate/subordinate.sml
twelf/src/table/CVS/Root
twelf/src/table/CVS/Repository
twelf/src/table/CVS/Entries
twelf/src/table/README
twelf/src/table/WALK
twelf/src/table/hash.sml
twelf/src/table/queue.sml
twelf/src/table/redblack.sml
twelf/src/table/ring.sml
twelf/src/table/sources.cm
twelf/src/table/table.sig
twelf/src/terminate/CVS/Root
twelf/src/terminate/CVS/Repository
twelf/src/terminate/CVS/Entries
twelf/src/terminate/README
twelf/src/terminate/WALK
twelf/src/terminate/sources.cm
twelf/src/terminate/terminate.fun
twelf/src/terminate/terminate.sig
twelf/src/terminate/terminate.sml
twelf/src/thm/CVS/Root
twelf/src/thm/CVS/Repository
twelf/src/thm/CVS/Entries
twelf/src/thm/README
twelf/src/thm/WALK
twelf/src/thm/sources.cm
twelf/src/thm/thm.fun
twelf/src/thm/thm.sig
twelf/src/thm/thm.sml
twelf/src/thm/thmprint.fun
twelf/src/thm/thmprint.sig
twelf/src/thm/thmsyn.fun
twelf/src/thm/thmsyn.sig
twelf/src/timing/CVS/Root
twelf/src/timing/CVS/Repository
twelf/src/timing/CVS/Entries
twelf/src/timing/README
twelf/src/timing/WALK
twelf/src/timing/sources.cm
twelf/src/timing/timers.fun
twelf/src/timing/timers.sig
twelf/src/timing/timers.sml
twelf/src/timing/timing.sml
twelf/src/typecheck/CVS/Root
twelf/src/typecheck/CVS/Repository
twelf/src/typecheck/CVS/Entries
twelf/src/typecheck/README
twelf/src/typecheck/WALK
twelf/src/typecheck/sources.cm
twelf/src/typecheck/strict.fun
twelf/src/typecheck/strict.sig
twelf/src/typecheck/typecheck.fun
twelf/src/typecheck/typecheck.sig
twelf/src/typecheck/typecheck.sml
twelf/tex/CVS/Root
twelf/tex/CVS/Repository
twelf/tex/CVS/Entries
twelf/tex/code.sty
twelf/tex/example.tex
twelf/tex/twelf.sty