New port: lang/twelf A meta-logical framework for deductive systems

	The Twelf implementation comprises
	 * the LF logical framework, including type reconstruction;
	 * the Elf constraint logic programming language;
	 * an inductive meta-theorem prover for LF;
	 * and an Emacs interface.

PR:		ports/84625
Submitted by:	"Andrew Bernard" <andrew@hobnob.com>

6 files changed, 603 insertions, 0 deletions

diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
new file mode 100644
index 000000000000..8e790e9e6813
--- /dev/null
+++ b/lang/twelf/Makefile
@@ -0,0 +1,29 @@
+# Ports collection makefile for:	twelf
+# Date created:		7/8/5
+# Whom:			andrewb@cs.cmu.edu
+#
+# $FreeBSD$
+#
+
+PORTNAME=	twelf
+PORTVERSION=	1.4
+CATEGORIES=	lang
+MASTER_SITES=	http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
+DISTNAME=	twelf-1-4
+
+MAINTAINER=	andrewb@cs.cmu.edu
+COMMENT=	A meta-logical framework for deductive systems
+
+RUN_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj
+BUILD_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj
+
+WRKSRC=		${WRKDIR}/twelf
+USE_REINPLACE=	yes
+INFO=		twelf
+
+RESTRICTED=	"License is currently indeterminate (expected to be GPL)"
+
+post-patch:
+	@${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile
+
+.include <bsd.port.mk>
diff --git a/lang/twelf/distinfo b/lang/twelf/distinfo
new file mode 100644
index 000000000000..cdd43f68d813
--- /dev/null
+++ b/lang/twelf/distinfo
@@ -0,0 +1,3 @@
+MD5 (twelf-1-4.tar.gz) = ba4d2a374242dae6e3c0dada30adeae2
+SHA256 (twelf-1-4.tar.gz) = 63d0a283f75201467b10d541d643eba82f0e52b0ee4ea88a391c574a314ad62a
+SIZE (twelf-1-4.tar.gz) = 1463158
diff --git a/lang/twelf/files/patch-Makefile b/lang/twelf/files/patch-Makefile
new file mode 100644
index 000000000000..09d18c15fcff
--- /dev/null
+++ b/lang/twelf/files/patch-Makefile
@@ -0,0 +1,85 @@
+--- Makefile.orig	Sun Dec 22 11:29:46 2002
++++ Makefile	Sat Jul  9 18:52:09 2005
+@@ -31,7 +31,7 @@
+ 
+ default : twelf-server twelf-emacs
+ 
+-all : twelf-server twelf-sml twelf-emacs
++# all : twelf-server twelf-sml twelf-emacs
+ 
+ twelf-server: ; 
+ 	@echo "*************************************************"
+@@ -62,3 +62,73 @@
+ 
+ clean: ;
+ 	rm -rf $(twelfdir)/src/*/CM ;
++
++# ---------------------------------------------------------------
++# Installation
++# ---------------------------------------------------------------
++
++arch != uname -p
++
++.if ${arch} == "i386"
++smlarch = x86
++.else
++smlarch = ${arch}
++.endif
++
++prefix        = %%PREFIX%%
++bindir        = ${prefix}/bin
++infodir       = ${prefix}/info
++twelfexecdir  = ${prefix}/libexec/twelf
++twelfsharedir = ${prefix}/share/twelf
++
++runfile  = bin/twelf-server
++heapfile = bin/.heap/twelf-server.${smlarch}-bsd
++
++infofiles  != (cd doc/info; find . -type f -not -name '*.orig')
++sharefiles != (find README       -type f;                     \
++               find doc          -type f -not -name '*.orig'; \
++               find emacs        -type f;                     \
++               find examples     -type f;                     \
++               find examples-clp -type f;                     \
++               find tex          -type f)
++
++installfiles := ${bindir}/twelf-server             \
++                ${twelfsharedir}/${runfile}        \
++                ${twelfexecdir}/${heapfile}        \
++                ${infofiles:%=$(infodir)/%}        \
++                ${sharefiles:%=$(twelfsharedir)/%}
++
++all: ${runfile} ${heapfile}
++
++${runfile}:
++	echo "#!/bin/sh" >$@
++	echo "exec ${sml} @SMLload=${twelfexecdir}/${heapfile} @SMLdebug=/dev/null" >>$@
++
++${heapfile}:
++	$(sml) < twelf-server.sml
++
++${bindir}/twelf-server: ${twelfsharedir}/${runfile}
++	ln -s $? $@
++
++${twelfsharedir}/${runfile}: ${runfile}
++	@install -d -o root -g wheel -m 0755 ${@D}
++	install -o root -g wheel -m 0555 $? $@
++
++${twelfexecdir}/${heapfile}: ${heapfile}
++	@install -d -o root -g wheel -m 0755 ${@D}
++	install -o root -g wheel -m 0444 $? $@
++
++.for file in ${infofiles}
++${infodir}/${file}: doc/info/${file}
++	ln -s ${twelfsharedir}/$? $@
++.endfor
++
++.for file in ${sharefiles}
++${twelfsharedir}/${file}: ${file}
++	@install -d -o root -g wheel -m 0755 ${@D}
++	install -o root -g wheel -m 0644 $? $@
++.endfor
++
++install: ${installfiles}
++	install-info ${infodir}/twelf.info ${infodir}/dir
++
diff --git a/lang/twelf/files/patch-twelf.info b/lang/twelf/files/patch-twelf.info
new file mode 100644
index 000000000000..a74c22a58fce
--- /dev/null
+++ b/lang/twelf/files/patch-twelf.info
@@ -0,0 +1,13 @@
+--- doc/info/twelf.info.orig	Sat Jul  9 16:05:36 2005
++++ doc/info/twelf.info	Sat Jul  9 15:52:24 2005
+@@ -1,5 +1,10 @@
+ This is twelf.info, produced by makeinfo version 4.2 from twelf.texi.
+ 
++INFO-DIR-SECTION Programming
++START-INFO-DIR-ENTRY
++* Twelf User Guide: (twelf).   The Twelf User's Guide.
++END-INFO-DIR-ENTRY
++
+ 
+ Indirect:
+ twelf.info-1: 71
diff --git a/lang/twelf/pkg-descr b/lang/twelf/pkg-descr
new file mode 100644
index 000000000000..f32f99997930
--- /dev/null
+++ b/lang/twelf/pkg-descr
@@ -0,0 +1,19 @@
+
+The Twelf implementation comprises
+
+ * the LF logical framework, including type reconstruction;
+ * the Elf constraint logic programming language;
+ * an inductive meta-theorem prover for LF;
+ * and an Emacs interface.
+
+Twelf provides a uniform meta-language for specifying,
+implementing, and proving properties of programming languages
+and logics.  Example suites include Cartesian Closed Categories
+and lambda-calculus, the Church-Rosser theorem for the untyped
+lambda-calculus, Mini-ML including type preservation and
+compilation, cut elimination, theory of logic programming,
+and Hilbert's deduction theorem.
+
+-- the Twelf home page
+
+WWW: http://www.cs.cmu.edu/~twelf
diff --git a/lang/twelf/pkg-plist b/lang/twelf/pkg-plist
new file mode 100644
index 000000000000..f8d81053e035
--- /dev/null
+++ b/lang/twelf/pkg-plist
@@ -0,0 +1,454 @@
+bin/twelf-server
+libexec/twelf/bin/.heap/twelf-server.x86-bsd
+share/twelf/README
+share/twelf/bin/twelf-server
+share/twelf/doc/dvi/twelf.dvi
+share/twelf/doc/html/index.html
+share/twelf/doc/html/twelf_1.html
+share/twelf/doc/html/twelf_10.html
+share/twelf/doc/html/twelf_11.html
+share/twelf/doc/html/twelf_12.html
+share/twelf/doc/html/twelf_13.html
+share/twelf/doc/html/twelf_14.html
+share/twelf/doc/html/twelf_15.html
+share/twelf/doc/html/twelf_16.html
+share/twelf/doc/html/twelf_17.html
+share/twelf/doc/html/twelf_2.html
+share/twelf/doc/html/twelf_3.html
+share/twelf/doc/html/twelf_4.html
+share/twelf/doc/html/twelf_5.html
+share/twelf/doc/html/twelf_6.html
+share/twelf/doc/html/twelf_7.html
+share/twelf/doc/html/twelf_8.html
+share/twelf/doc/html/twelf_9.html
+share/twelf/doc/html/twelf_toc.html
+share/twelf/doc/info/twelf.info
+share/twelf/doc/info/twelf.info-1
+share/twelf/doc/info/twelf.info-2
+share/twelf/doc/info/twelf.info-3
+share/twelf/doc/info/twelf.info-4
+share/twelf/doc/info/twelf.info-5
+share/twelf/doc/pdf/twelf.pdf
+share/twelf/doc/ps/twelf.ps
+share/twelf/emacs/README
+share/twelf/emacs/auc-menu.el
+share/twelf/emacs/twelf-font.el
+share/twelf/emacs/twelf-hilit.el
+share/twelf/emacs/twelf-init.el
+share/twelf/emacs/twelf.el
+share/twelf/examples/README
+share/twelf/examples/arith/README
+share/twelf/examples/arith/arith.elf
+share/twelf/examples/arith/arith.thm
+share/twelf/examples/arith/sources.cfg
+share/twelf/examples/arith/test.cfg
+share/twelf/examples/ccc/README
+share/twelf/examples/ccc/abs-env.elf
+share/twelf/examples/ccc/catlem.elf
+share/twelf/examples/ccc/ccc.elf
+share/twelf/examples/ccc/conc.elf
+share/twelf/examples/ccc/conc.thm
+share/twelf/examples/ccc/cong.elf
+share/twelf/examples/ccc/eqpres1.elf
+share/twelf/examples/ccc/eqpres2.elf
+share/twelf/examples/ccc/examples.quy
+share/twelf/examples/ccc/inv1.elf
+share/twelf/examples/ccc/inv2.elf
+share/twelf/examples/ccc/lambda.elf
+share/twelf/examples/ccc/pf.dvi
+share/twelf/examples/ccc/refl.elf
+share/twelf/examples/ccc/sources.cfg
+share/twelf/examples/ccc/spass.cfg
+share/twelf/examples/ccc/spass.elf
+share/twelf/examples/ccc/spass.sml
+share/twelf/examples/ccc/subext.elf
+share/twelf/examples/ccc/test.cfg
+share/twelf/examples/church-rosser/README
+share/twelf/examples/church-rosser/church-rosser.thm
+share/twelf/examples/church-rosser/cr.thm
+share/twelf/examples/church-rosser/equiv.elf
+share/twelf/examples/church-rosser/examples.quy
+share/twelf/examples/church-rosser/lam.elf
+share/twelf/examples/church-rosser/ord-cr.elf
+share/twelf/examples/church-rosser/ord-lemmas.elf
+share/twelf/examples/church-rosser/ord-red.elf
+share/twelf/examples/church-rosser/par-cr.elf
+share/twelf/examples/church-rosser/par-lemmas.elf
+share/twelf/examples/church-rosser/par-red.elf
+share/twelf/examples/church-rosser/sources.cfg
+share/twelf/examples/church-rosser/test-unsafe.cfg
+share/twelf/examples/church-rosser/test.cfg
+share/twelf/examples/church-rosser/test.tag
+share/twelf/examples/compile/README
+share/twelf/examples/compile/cls/cls-complete.elf
+share/twelf/examples/compile/cls/cls-sound.elf
+share/twelf/examples/compile/cls/cls.elf
+share/twelf/examples/compile/cls/compute.elf
+share/twelf/examples/compile/cls/debruijn.elf
+share/twelf/examples/compile/cls/examples.quy
+share/twelf/examples/compile/cls/feval.elf
+share/twelf/examples/compile/cls/mini-ml.elf
+share/twelf/examples/compile/cls/slow.quy
+share/twelf/examples/compile/cls/sources.cfg
+share/twelf/examples/compile/cls/test.cfg
+share/twelf/examples/compile/cls/trans.elf
+share/twelf/examples/compile/cls/trans2.elf
+share/twelf/examples/compile/cpm/ceval-complete.elf
+share/twelf/examples/compile/cpm/ceval-complete.thm
+share/twelf/examples/compile/cpm/ceval-sound.elf
+share/twelf/examples/compile/cpm/ceval.elf
+share/twelf/examples/compile/cpm/cpm.elf
+share/twelf/examples/compile/cpm/evalv.elf
+share/twelf/examples/compile/cpm/examples.quy
+share/twelf/examples/compile/cpm/mini-mlv.elf
+share/twelf/examples/compile/cpm/proof-equiv.elf
+share/twelf/examples/compile/cpm/proof-equiv.thm
+share/twelf/examples/compile/cpm/slow.quy
+share/twelf/examples/compile/cpm/sources.cfg
+share/twelf/examples/compile/cpm/test.cfg
+share/twelf/examples/compile/cpm/theorems.elf
+share/twelf/examples/compile/cpm/theorems.thm
+share/twelf/examples/compile/cps/cps-eval.elf
+share/twelf/examples/compile/cps/cps.elf
+share/twelf/examples/compile/cps/examples.quy
+share/twelf/examples/compile/cps/mini-ml.elf
+share/twelf/examples/compile/cps/ml-cps.elf
+share/twelf/examples/compile/cps/sources.cfg
+share/twelf/examples/compile/cps/test.cfg
+share/twelf/examples/compile/cxm/evalv.elf
+share/twelf/examples/compile/cxm/examples.quy
+share/twelf/examples/compile/cxm/mini-mlv.elf
+share/twelf/examples/compile/cxm/sources.cfg
+share/twelf/examples/compile/cxm/test.cfg
+share/twelf/examples/compile/cxm/xeval.elf
+share/twelf/examples/compile/debruijn/debruijn.elf
+share/twelf/examples/compile/debruijn/eval.elf
+share/twelf/examples/compile/debruijn/examples.quy
+share/twelf/examples/compile/debruijn/feval.elf
+share/twelf/examples/compile/debruijn/map-eval.elf
+share/twelf/examples/compile/debruijn/mini-ml.elf
+share/twelf/examples/compile/debruijn/sources.cfg
+share/twelf/examples/compile/debruijn/test.cfg
+share/twelf/examples/compile/debruijn/trans.elf
+share/twelf/examples/compile/debruijn/val-lemmas.elf
+share/twelf/examples/compile/debruijn/value.elf
+share/twelf/examples/compile/debruijn1/debruijn.elf
+share/twelf/examples/compile/debruijn1/eval.elf
+share/twelf/examples/compile/debruijn1/examples.quy
+share/twelf/examples/compile/debruijn1/feval.elf
+share/twelf/examples/compile/debruijn1/map-eval.elf
+share/twelf/examples/compile/debruijn1/mini-ml.elf
+share/twelf/examples/compile/debruijn1/sources.cfg
+share/twelf/examples/compile/debruijn1/test.cfg
+share/twelf/examples/compile/debruijn1/trans.elf
+share/twelf/examples/cpsocc/NOTES
+share/twelf/examples/cpsocc/READ.ME
+share/twelf/examples/cpsocc/corr.elf
+share/twelf/examples/cpsocc/cpsBNF.elf
+share/twelf/examples/cpsocc/def1+5+fig4.elf
+share/twelf/examples/cpsocc/def13.elf
+share/twelf/examples/cpsocc/def16.elf
+share/twelf/examples/cpsocc/def3+6+fig5.elf
+share/twelf/examples/cpsocc/dsBNF.elf
+share/twelf/examples/cpsocc/examples.quy
+share/twelf/examples/cpsocc/examples.quy.orig
+share/twelf/examples/cpsocc/fig1.elf
+share/twelf/examples/cpsocc/fig10.elf
+share/twelf/examples/cpsocc/fig11.elf
+share/twelf/examples/cpsocc/fig12.elf
+share/twelf/examples/cpsocc/fig13.elf
+share/twelf/examples/cpsocc/fig7.elf
+share/twelf/examples/cpsocc/fig8.elf
+share/twelf/examples/cpsocc/fig9.elf
+share/twelf/examples/cpsocc/lemma14.elf
+share/twelf/examples/cpsocc/lemma17.elf
+share/twelf/examples/cpsocc/lemma7.elf
+share/twelf/examples/cpsocc/lemma9.elf
+share/twelf/examples/cpsocc/th2.elf
+share/twelf/examples/cpsocc/load.sml
+share/twelf/examples/cpsocc/sources.cfg
+share/twelf/examples/cpsocc/test.cfg
+share/twelf/examples/cpsocc/test.quy
+share/twelf/examples/cpsocc/test.quy.orig
+share/twelf/examples/cpsocc/th10.elf
+share/twelf/examples/cpsocc/th15.elf
+share/twelf/examples/cpsocc/th18.elf
+share/twelf/examples/cpsocc/th4.elf
+share/twelf/examples/cpsocc/th8.elf
+share/twelf/examples/cut-elim/README
+share/twelf/examples/cut-elim/cl-admit.elf
+share/twelf/examples/cut-elim/cl-cut.elf
+share/twelf/examples/cut-elim/cl-elim.elf
+share/twelf/examples/cut-elim/cl.elf
+share/twelf/examples/cut-elim/cl.thm
+share/twelf/examples/cut-elim/examples.quy
+share/twelf/examples/cut-elim/formulas.elf
+share/twelf/examples/cut-elim/int-admit.elf
+share/twelf/examples/cut-elim/int-cut.elf
+share/twelf/examples/cut-elim/int-elim.elf
+share/twelf/examples/cut-elim/int.elf
+share/twelf/examples/cut-elim/int.thm
+share/twelf/examples/cut-elim/sources.cfg
+share/twelf/examples/cut-elim/test.cfg
+share/twelf/examples/fol/README
+share/twelf/examples/fol/fol.elf
+share/twelf/examples/fol/fol.thm
+share/twelf/examples/fol/sources.cfg
+share/twelf/examples/fol/test.cfg
+share/twelf/examples/guide/arith.elf
+share/twelf/examples/guide/lam.elf
+share/twelf/examples/guide/lists.elf
+share/twelf/examples/guide/nd.elf
+share/twelf/examples/guide/sources.cfg
+share/twelf/examples/guide/test.cfg
+share/twelf/examples/handbook/README
+share/twelf/examples/handbook/fol.elf
+share/twelf/examples/handbook/sources.cfg
+share/twelf/examples/handbook/test.cfg
+share/twelf/examples/incll/README
+share/twelf/examples/incll/bff-incll.elf
+share/twelf/examples/incll/bff-incll.quy
+share/twelf/examples/incll/cpm-incll.elf
+share/twelf/examples/incll/cpm-incll.quy
+share/twelf/examples/incll/incll.elf
+share/twelf/examples/incll/iosequents.elf
+share/twelf/examples/incll/lists-incll.elf
+share/twelf/examples/incll/lists-incll.quy
+share/twelf/examples/incll/lists.elf
+share/twelf/examples/incll/parse-incll.elf
+share/twelf/examples/incll/parse-incll.quy
+share/twelf/examples/incll/parse-lolli.elf
+share/twelf/examples/incll/parse-lolli.quy
+share/twelf/examples/incll/pre-incll.elf
+share/twelf/examples/incll/pre-incll.quy
+share/twelf/examples/incll/search-incll.elf
+share/twelf/examples/incll/search-incll.quy
+share/twelf/examples/incll/sort-incll.elf
+share/twelf/examples/incll/sort-incll.quy
+share/twelf/examples/incll/sources.cfg
+share/twelf/examples/incll/test.cfg
+share/twelf/examples/kolm/README
+share/twelf/examples/kolm/complete.elf
+share/twelf/examples/kolm/examples.quy
+share/twelf/examples/kolm/fol.elf
+share/twelf/examples/kolm/kolmtrans.elf
+share/twelf/examples/kolm/nj.elf
+share/twelf/examples/kolm/nk.elf
+share/twelf/examples/kolm/report.ps
+share/twelf/examples/kolm/sound.elf
+share/twelf/examples/kolm/sources.cfg
+share/twelf/examples/kolm/test.cfg
+share/twelf/examples/lp-horn/canon.elf
+share/twelf/examples/lp-horn/conv.elf
+share/twelf/examples/lp-horn/examples.quy
+share/twelf/examples/lp-horn/iscan.elf
+share/twelf/examples/lp-horn/natded.elf
+share/twelf/examples/lp-horn/sources.cfg
+share/twelf/examples/lp-horn/test.cfg
+share/twelf/examples/lp-horn/uni-can.elf
+share/twelf/examples/lp-horn/uni-can.thm
+share/twelf/examples/lp-horn/uni-complete.elf
+share/twelf/examples/lp-horn/uni-complete.thm
+share/twelf/examples/lp-horn/uni-sound.elf
+share/twelf/examples/lp-horn/uni-sound.thm
+share/twelf/examples/lp-horn/uniform.elf
+share/twelf/examples/lp/canon.elf
+share/twelf/examples/lp/cont.elf
+share/twelf/examples/lp/conv.elf
+share/twelf/examples/lp/examples.elf
+share/twelf/examples/lp/examples.quy
+share/twelf/examples/lp/fohh-formulas.elf
+share/twelf/examples/lp/fohh.elf
+share/twelf/examples/lp/iscan.elf
+share/twelf/examples/lp/natded.elf
+share/twelf/examples/lp/res-complete.elf
+share/twelf/examples/lp/res-sound.elf
+share/twelf/examples/lp/resolution.elf
+share/twelf/examples/lp/sources.cfg
+share/twelf/examples/lp/test.cfg
+share/twelf/examples/lp/uni-complete.elf
+share/twelf/examples/lp/uni-sound.elf
+share/twelf/examples/lp/uniform.elf
+share/twelf/examples/mini-ml/README
+share/twelf/examples/mini-ml/closed.elf
+share/twelf/examples/mini-ml/eval.elf
+share/twelf/examples/mini-ml/eval1.elf
+share/twelf/examples/mini-ml/eval2.elf
+share/twelf/examples/mini-ml/examples.quy
+share/twelf/examples/mini-ml/examples1.quy
+share/twelf/examples/mini-ml/mini-ml.elf
+share/twelf/examples/mini-ml/reduce.elf
+share/twelf/examples/mini-ml/reduce.thm
+share/twelf/examples/mini-ml/sources.cfg
+share/twelf/examples/mini-ml/sources1.cfg
+share/twelf/examples/mini-ml/test.cfg
+share/twelf/examples/mini-ml/tp-preserve.elf
+share/twelf/examples/mini-ml/tp-preserve.thm
+share/twelf/examples/mini-ml/tp.elf
+share/twelf/examples/mini-ml/tpinf.elf
+share/twelf/examples/mini-ml/val-sound.elf
+share/twelf/examples/mini-ml/val-sound.thm
+share/twelf/examples/mini-ml/value.elf
+share/twelf/examples/polylam/examples.quy
+share/twelf/examples/polylam/polylam.elf
+share/twelf/examples/polylam/sources.cfg
+share/twelf/examples/polylam/test.cfg
+share/twelf/examples/prop-calc/README
+share/twelf/examples/prop-calc/equiv.elf
+share/twelf/examples/prop-calc/equiv.thm
+share/twelf/examples/prop-calc/examples.quy
+share/twelf/examples/prop-calc/prop-calc.elf
+share/twelf/examples/prop-calc/sources.cfg
+share/twelf/examples/prop-calc/test.cfg
+share/twelf/examples/tabled/README
+share/twelf/examples/tabled/all.sml
+share/twelf/examples/tabled/ccc/README
+share/twelf/examples/tabled/ccc/ccc.elf
+share/twelf/examples/tabled/ccc/tab-examples.quy
+share/twelf/examples/tabled/ccc/tab.cfg
+share/twelf/examples/tabled/cr/lam.elf
+share/twelf/examples/tabled/cr/ord-red.elf
+share/twelf/examples/tabled/cr/par-red.elf
+share/twelf/examples/tabled/cr/tab-examples.quy
+share/twelf/examples/tabled/cr/tab.cfg
+share/twelf/examples/tabled/mini-ml/examples.quy
+share/twelf/examples/tabled/mini-ml/mini-ml.elf
+share/twelf/examples/tabled/mini-ml/programs.elf
+share/twelf/examples/tabled/mini-ml/reduce.elf
+share/twelf/examples/tabled/mini-ml/tab.cfg
+share/twelf/examples/tabled/mini-ml/value.elf
+share/twelf/examples/tabled/parsing/arithml.cfg
+share/twelf/examples/tabled/parsing/arithml.elf
+share/twelf/examples/tabled/parsing/arithml.quy
+share/twelf/examples/tabled/parsing/foll.cfg
+share/twelf/examples/tabled/parsing/foll.elf
+share/twelf/examples/tabled/parsing/foll.quy
+share/twelf/examples/tabled/parsing/tab.cfg
+share/twelf/examples/tabled/parsing/warren.elf
+share/twelf/examples/tabled/poly/mini-ml.elf
+share/twelf/examples/tabled/poly/tab-examples.quy
+share/twelf/examples/tabled/poly/tab.cfg
+share/twelf/examples/tabled/poly/tp.elf
+share/twelf/examples/tabled/poly/tpinf.elf
+share/twelf/examples/tabled/refine/norefex.quy
+share/twelf/examples/tabled/refine/notab.quy
+share/twelf/examples/tabled/refine/programs.elf
+share/twelf/examples/tabled/refine/refex.elf
+share/twelf/examples/tabled/refine/refex.quy
+share/twelf/examples/tabled/refine/tab.cfg
+share/twelf/examples/tabled/subtype/mini-ml.elf
+share/twelf/examples/tabled/subtype/subtype.elf
+share/twelf/examples/tabled/subtype/tab-examples.quy
+share/twelf/examples/tabled/subtype/tab.cfg
+share/twelf/examples/tabled/subtype1/basic.elf
+share/twelf/examples/tabled/subtype1/mini-ml.elf
+share/twelf/examples/tabled/subtype1/tab-examples.quy
+share/twelf/examples/tabled/subtype1/tab.cfg
+share/twelf/examples/tabled/tests/tab.cfg
+share/twelf/examples/tabled/tests/test1.elf
+share/twelf/examples/tabled/tests/test2.elf
+share/twelf/examples/tabled/tests/test3.elf
+share/twelf/examples/tabled/tests/test4.elf
+share/twelf/examples/tabled/tests/test5.elf
+share/twelf/examples/tabled/tests/test6.elf
+share/twelf/examples/tabled/tests/test7.elf
+share/twelf/examples-clp/arith/eval.elf
+share/twelf/examples-clp/arith/examples.quy
+share/twelf/examples-clp/arith/parse.elf
+share/twelf/examples-clp/arith/sources.cfg
+share/twelf/examples-clp/arith/test.cfg
+share/twelf/examples-clp/base/base.elf
+share/twelf/examples-clp/base/examples.quy
+share/twelf/examples-clp/base/sources.cfg
+share/twelf/examples-clp/base/test.cfg
+share/twelf/examples-clp/crypt/crypt.elf
+share/twelf/examples-clp/crypt/examples.quy
+share/twelf/examples-clp/crypt/sources.cfg
+share/twelf/examples-clp/crypt/test.cfg
+share/twelf/examples-clp/integers/base.elf
+share/twelf/examples-clp/integers/cfract.elf
+share/twelf/examples-clp/integers/examples.quy
+share/twelf/examples-clp/integers/integers.elf
+share/twelf/examples-clp/integers/meta.elf
+share/twelf/examples-clp/integers/sources.cfg
+share/twelf/examples-clp/integers/test.cfg
+share/twelf/examples-clp/laplace/examples.quy
+share/twelf/examples-clp/laplace/laplace.elf
+share/twelf/examples-clp/laplace/sources.cfg
+share/twelf/examples-clp/laplace/test.cfg
+share/twelf/examples-clp/lists/examples.quy
+share/twelf/examples-clp/lists/lists.elf
+share/twelf/examples-clp/lists/sources.cfg
+share/twelf/examples-clp/lists/test.cfg
+share/twelf/examples-clp/mortgage/examples.quy
+share/twelf/examples-clp/mortgage/mortgage.elf
+share/twelf/examples-clp/mortgage/sources.cfg
+share/twelf/examples-clp/mortgage/test.cfg
+share/twelf/examples-clp/pelletier/examples.quy
+share/twelf/examples-clp/pelletier/pelletier.elf
+share/twelf/examples-clp/pelletier/sources.cfg
+share/twelf/examples-clp/pelletier/test.cfg
+share/twelf/examples-clp/sieve/examples.quy
+share/twelf/examples-clp/sieve/sieve.elf
+share/twelf/examples-clp/sieve/sieve2.elf
+share/twelf/examples-clp/sieve/sources.cfg
+share/twelf/examples-clp/sieve/test.cfg
+share/twelf/tex/code.sty
+share/twelf/tex/example.tex
+share/twelf/tex/twelf.sty
+@dirrm libexec/twelf/bin/.heap
+@dirrm libexec/twelf/bin
+@dirrm libexec/twelf
+@dirrm share/twelf/bin
+@dirrm share/twelf/doc/dvi
+@dirrm share/twelf/doc/html
+@dirrm share/twelf/doc/info
+@dirrm share/twelf/doc/pdf
+@dirrm share/twelf/doc/ps
+@dirrm share/twelf/doc
+@dirrm share/twelf/emacs
+@dirrm share/twelf/examples/arith
+@dirrm share/twelf/examples/ccc
+@dirrm share/twelf/examples/church-rosser
+@dirrm share/twelf/examples/compile/cls
+@dirrm share/twelf/examples/compile/cpm
+@dirrm share/twelf/examples/compile/cps
+@dirrm share/twelf/examples/compile/cxm
+@dirrm share/twelf/examples/compile/debruijn
+@dirrm share/twelf/examples/compile/debruijn1
+@dirrm share/twelf/examples/compile
+@dirrm share/twelf/examples/cpsocc
+@dirrm share/twelf/examples/cut-elim
+@dirrm share/twelf/examples/fol
+@dirrm share/twelf/examples/guide
+@dirrm share/twelf/examples/handbook
+@dirrm share/twelf/examples/incll
+@dirrm share/twelf/examples/kolm
+@dirrm share/twelf/examples/lp-horn
+@dirrm share/twelf/examples/lp
+@dirrm share/twelf/examples/mini-ml
+@dirrm share/twelf/examples/polylam
+@dirrm share/twelf/examples/prop-calc
+@dirrm share/twelf/examples/tabled/ccc
+@dirrm share/twelf/examples/tabled/cr
+@dirrm share/twelf/examples/tabled/mini-ml
+@dirrm share/twelf/examples/tabled/parsing
+@dirrm share/twelf/examples/tabled/poly
+@dirrm share/twelf/examples/tabled/refine
+@dirrm share/twelf/examples/tabled/subtype
+@dirrm share/twelf/examples/tabled/subtype1
+@dirrm share/twelf/examples/tabled/tests
+@dirrm share/twelf/examples/tabled
+@dirrm share/twelf/examples
+@dirrm share/twelf/examples-clp/arith
+@dirrm share/twelf/examples-clp/base
+@dirrm share/twelf/examples-clp/crypt
+@dirrm share/twelf/examples-clp/integers
+@dirrm share/twelf/examples-clp/laplace
+@dirrm share/twelf/examples-clp/lists
+@dirrm share/twelf/examples-clp/mortgage
+@dirrm share/twelf/examples-clp/pelletier
+@dirrm share/twelf/examples-clp/sieve
+@dirrm share/twelf/examples-clp
+@dirrm share/twelf/tex
+@dirrm share/twelf