ladr4-apps - i386
Documentation
./doc/README.directproof.gz
./doc/changelog.Debian.gz
./doc/copyright
./doc/README.Debian
./doc/changelog.gz
Binaries
avltest
compile units
includes
libraries
../libs/lib/i386-linux-gnu/i686/cmov/libm.so.6
../libs/lib/i386-linux-gnu/i686/cmov/libc.so.6
manual
a.out
compile units
init.c
crti.S
complex.c
crtn.S
includes
init.c
crti.S
complex.c
../headers//usr/lib/gcc/i486-linux-gnu/4.2.3/include/stddef.h
../headers//usr/include/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/stdio.h
crtn.S
libraries
../libs/lib/i386-linux-gnu/i686/cmov/libc.so.6
manual
tptp_test
compile units
init.c
crti.S
tptp_test.c
fatal.c
glist.c
symbols.c
term.c
parse.c
attrib.c
formula.c
ioutil.c
top_input.c
tptp_parse.c
order.c
clock.c
memory.c
string.c
strbuf.c
options.c
listterm.c
tlist.c
termorder.c
unify.c
basic.c
literals.c
topform.c
clist.c
clauseid.c
just.c
clausify.c
parautil.c
maximal.c
fastparse.c
ivy.c
std_options.c
termflag.c
flatterm.c
cnf.c
subsume.c
clause_misc.c
resolve.c
paramod.c
xproofs.c
hash.c
btm.c
mindex.c
lindex.c
demod.c
clash.c
accanon.c
fpa.c
discrim.c
discrimb.c
discrimw.c
btu.c
fpalist.c
dioph.c
crtn.S
includes
init.c
crti.S
tptp_test.c
../headers/../ladr/glist.h
../headers/../ladr/term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
fatal.c
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
glist.c
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./order.h
symbols.c
./symbols.h
./header.h
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./strbuf.h
./order.h
term.c
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./strbuf.h
./glist.h
parse.c
./strbuf.h
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./symbols.h
./glist.h
attrib.c
./attrib.h
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./unify.h
./glist.h
formula.c
./formula.h
./term.h
./attrib.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./glist.h
ioutil.c
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./formula.h
./term.h
./attrib.h
./topform.h
./clist.h
./just.h
./glist.h
./literals.h
./header.h
./strbuf.h
top_input.c
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./term.h
./symbols.h
./formula.h
./attrib.h
./topform.h
./clist.h
./just.h
./literals.h
tptp_parse.c
./term.h
./formula.h
./attrib.h
order.c
./order.h
clock.c
./clock.h
../headers//usr/include/bits/resource.h
../headers//usr/include/bits/time.h
../headers//usr/include/bits/types.h
./header.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
../headers//usr/include/time.h
memory.c
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
./header.h
string.c
./header.h
strbuf.c
./strbuf.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
options.c
./header.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stdarg.h
listterm.c
./term.h
./header.h
./glist.h
tlist.c
./glist.h
./term.h
termorder.c
./termorder.h
./order.h
./term.h
./flatterm.h
./header.h
./glist.h
unify.c
./unify.h
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./glist.h
basic.c
./header.h
./term.h
./unify.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
literals.c
./literals.h
./header.h
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./glist.h
topform.c
./topform.h
./attrib.h
./literals.h
./header.h
./term.h
./formula.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./glist.h
./unify.h
clist.c
./clist.h
./topform.h
./attrib.h
./literals.h
./header.h
./term.h
./formula.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./glist.h
./order.h
clauseid.c
./topform.h
./attrib.h
./literals.h
./header.h
./term.h
./formula.h
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
just.c
./just.h
./topform.h
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./attrib.h
./literals.h
./term.h
./formula.h
./strbuf.h
clausify.c
./literals.h
./header.h
./term.h
./formula.h
./attrib.h
./topform.h
./glist.h
./symbols.h
parautil.c
./term.h
./header.h
./topform.h
./attrib.h
./just.h
./glist.h
./literals.h
./formula.h
./order.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
maximal.c
./header.h
./literals.h
./term.h
./order.h
fastparse.c
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./topform.h
./attrib.h
./literals.h
./header.h
./formula.h
ivy.c
./term.h
./topform.h
./clist.h
./attrib.h
./just.h
./glist.h
./literals.h
./header.h
./formula.h
./strbuf.h
./unify.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
std_options.c
termflag.c
./term.h
./header.h
flatterm.c
./flatterm.h
./header.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./term.h
./glist.h
cnf.c
./formula.h
./term.h
./attrib.h
./hash.h
./header.h
./glist.h
../headers//usr/include/setjmp.h
../headers//usr/include/bits/setjmp.h
../headers//usr/include/bits/sigset.h
subsume.c
./header.h
./literals.h
./term.h
./unify.h
./topform.h
./attrib.h
./just.h
./glist.h
./formula.h
./btm.h
./lindex.h
./mindex.h
./fpa.h
./discrim.h
./flatterm.h
clause_misc.c
./clist.h
./topform.h
./attrib.h
./just.h
./glist.h
./literals.h
./header.h
./term.h
./formula.h
resolve.c
./header.h
./literals.h
./term.h
./topform.h
./attrib.h
./just.h
./glist.h
./formula.h
./lindex.h
./mindex.h
./fpa.h
./discrim.h
./unify.h
./clash.h
paramod.c
./header.h
./term.h
./literals.h
./unify.h
./topform.h
./attrib.h
./just.h
./glist.h
./formula.h
./paramod.h
xproofs.c
./glist.h
./topform.h
./clist.h
./attrib.h
./just.h
./literals.h
./header.h
./term.h
./formula.h
./unify.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
hash.c
./hash.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
btm.c
./term.h
./unify.h
./btm.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
mindex.c
./mindex.h
./fpa.h
./glist.h
./discrim.h
./index.h
./term.h
./unify.h
./btu.h
./btm.h
./header.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
lindex.c
./lindex.h
./mindex.h
./fpa.h
./glist.h
./discrim.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./topform.h
./attrib.h
./literals.h
./term.h
./formula.h
./index.h
demod.c
./topform.h
./attrib.h
./just.h
./glist.h
./literals.h
./header.h
./term.h
./formula.h
./index.h
./mindex.h
./fpa.h
./discrim.h
./flatterm.h
./unify.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
clash.c
./clash.h
./header.h
./literals.h
./term.h
./unify.h
./mindex.h
./fpa.h
./glist.h
./discrim.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./topform.h
./attrib.h
./just.h
./formula.h
accanon.c
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
fpa.c
./fpalist.h
./term.h
./fpa.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./glist.h
./index.h
./unify.h
discrim.c
./discrim.h
./glist.h
./unify.h
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
discrimb.c
./term.h
./discrim.h
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./index.h
./unify.h
discrimw.c
./term.h
./discrim.h
./glist.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
./index.h
./unify.h
btu.c
./btu.h
./term.h
./unify.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
fpalist.c
./fpalist.h
./term.h
../headers//usr/include/stdio.h
../headers//usr/include/libio.h
../headers//usr/include/bits/types.h
../headers//usr/lib/gcc/i486-linux-gnu/4.1.2/include/stddef.h
./header.h
dioph.c
crtn.S
libraries
../libs/lib/i386-linux-gnu/i686/cmov/libm.so.6
../libs/lib/i386-linux-gnu/i686/cmov/libc.so.6
manual
weighttest
compile units
init.c
crti.S
weight2.c
crtn.S
includes
init.c
crti.S
weight2.c
../headers//usr/lib/gcc/i486-linux-gnu/4.2.3/include/stddef.h
../headers//usr/include/bits/types.h
../headers//usr/include/libio.h
../headers//usr/include/stdio.h
crtn.S
libraries
../libs/lib/i386-linux-gnu/i686/cmov/libc.so.6
manual