lucid の all アーキテクチャ用 minlog パッケージのファイル一覧

/usr/bin/minlog
/usr/share/doc/minlog/changelog.Debian.gz
/usr/share/doc/minlog/copyright
/usr/share/doc/minlog/examples/Makefile
/usr/share/doc/minlog/examples/Makefile.template
/usr/share/doc/minlog/examples/Schueler/germanise.scm
/usr/share/doc/minlog/examples/Schueler/probestud.scm
/usr/share/doc/minlog/examples/Schueler/probestudstart.scm
/usr/share/doc/minlog/examples/analysis/cont.scm
/usr/share/doc/minlog/examples/analysis/extraction.scm
/usr/share/doc/minlog/examples/analysis/real.scm
/usr/share/doc/minlog/examples/analysis/simpreal.scm
/usr/share/doc/minlog/examples/arith/Makefile
/usr/share/doc/minlog/examples/arith/bundeswett.scm
/usr/share/doc/minlog/examples/arith/quotrem/Makefile
/usr/share/doc/minlog/examples/arith/quotrem/pair.tac
/usr/share/doc/minlog/examples/arith/quotrem/quotrem-ex.save
/usr/share/doc/minlog/examples/arith/quotrem/quotrem-ex.scm
/usr/share/doc/minlog/examples/arith/realsqrttwo.scm
/usr/share/doc/minlog/examples/arith/sqrttwo.scm
/usr/share/doc/minlog/examples/bar/Makefile
/usr/share/doc/minlog/examples/bar/bar.save
/usr/share/doc/minlog/examples/bar/bar.scm
/usr/share/doc/minlog/examples/bar/higman-finite.scm
/usr/share/doc/minlog/examples/bar/higman01.save
/usr/share/doc/minlog/examples/bar/higman01.scm
/usr/share/doc/minlog/examples/classical/Makefile
/usr/share/doc/minlog/examples/classical/combinatorics/booleantape.scm
/usr/share/doc/minlog/examples/classical/combinatorics/pigeonhole.scm
/usr/share/doc/minlog/examples/classical/combinatorics/tape.scm
/usr/share/doc/minlog/examples/classical/dickson/dickson.tac
/usr/share/doc/minlog/examples/classical/dickson/dickson2gen.scm
/usr/share/doc/minlog/examples/classical/dickson/dickson_gen.scm
/usr/share/doc/minlog/examples/classical/dickson/dickson_lemma1.scm
/usr/share/doc/minlog/examples/classical/dickson/dickson_lemma2.scm
/usr/share/doc/minlog/examples/classical/gcd/gcd-a.scm
/usr/share/doc/minlog/examples/classical/gcd/gcd-d.scm
/usr/share/doc/minlog/examples/classical/gcd/gcd-gind.scm
/usr/share/doc/minlog/examples/classical/gcd/gcd.scm
/usr/share/doc/minlog/examples/classical/gcd/gcd_minpr.scm
/usr/share/doc/minlog/examples/classical/hsh.scm
/usr/share/doc/minlog/examples/classical/root.save
/usr/share/doc/minlog/examples/classical/root.scm
/usr/share/doc/minlog/examples/classical/surj.scm
/usr/share/doc/minlog/examples/classical/wftest.save
/usr/share/doc/minlog/examples/classical/wftest.scm
/usr/share/doc/minlog/examples/dc/Makefile
/usr/share/doc/minlog/examples/dc/dc-first.save
/usr/share/doc/minlog/examples/dc/dc-first.scm
/usr/share/doc/minlog/examples/diatup/BinTape.scm
/usr/share/doc/minlog/examples/diatup/BinTapeBis.scm
/usr/share/doc/minlog/examples/diatup/DicksonTwo.scm
/usr/share/doc/minlog/examples/diatup/HeredExtEq/DoubleSum.scm
/usr/share/doc/minlog/examples/diatup/HeredExtEq/SimpleSum.scm
/usr/share/doc/minlog/examples/diatup/HeredExtEq/TripleSum.scm
/usr/share/doc/minlog/examples/diatup/HeredExtEq/heeq-def.scm
/usr/share/doc/minlog/examples/diatup/IndAxiom/IND-exall.scm
/usr/share/doc/minlog/examples/diatup/IndAxiom/IND-pureEx.scm
/usr/share/doc/minlog/examples/diatup/IndAxiom/IND-qfr.scm
/usr/share/doc/minlog/examples/diatup/IndAxiom/IndAxSrc.scm
/usr/share/doc/minlog/examples/diatup/IndZeroTest.scm
/usr/share/doc/minlog/examples/diatup/IntegerRoot.scm
/usr/share/doc/minlog/examples/diatup/NonExStabTest.scm
/usr/share/doc/minlog/examples/diatup/TytupAssoc.scm
/usr/share/doc/minlog/examples/diatup/fibonacci/fib-ATR.scm
/usr/share/doc/minlog/examples/diatup/fibonacci/fib-DIA.scm
/usr/share/doc/minlog/examples/diatup/fibonacci/newatr.scm
/usr/share/doc/minlog/examples/diatup/hsh-Berger.scm
/usr/share/doc/minlog/examples/dijkstra/Makefile
/usr/share/doc/minlog/examples/dijkstra/count.save
/usr/share/doc/minlog/examples/dijkstra/count.scm
/usr/share/doc/minlog/examples/dijkstra/dijkstra.save
/usr/share/doc/minlog/examples/dijkstra/dijkstra.scm
/usr/share/doc/minlog/examples/dijkstra/example.scm
/usr/share/doc/minlog/examples/dijkstra/pick.scm
/usr/share/doc/minlog/examples/dijkstra/wf.scm
/usr/share/doc/minlog/examples/fan/fanwklu.scm
/usr/share/doc/minlog/examples/fibonacci/equal-add.mpc
/usr/share/doc/minlog/examples/fibonacci/fib-functional.mpc
/usr/share/doc/minlog/examples/fibonacci/fib.mpc
/usr/share/doc/minlog/examples/fibonacci/fib.scm
/usr/share/doc/minlog/examples/fibonacci/fibconstr.scm
/usr/share/doc/minlog/examples/hounif/Makefile
/usr/share/doc/minlog/examples/hounif/nipkow.save
/usr/share/doc/minlog/examples/hounif/nipkow.scm
/usr/share/doc/minlog/examples/hounif/nipkow.tac
/usr/share/doc/minlog/examples/mpc/list1.mpc
/usr/share/doc/minlog/examples/mpc/list2.mpc
/usr/share/doc/minlog/examples/mpc/nat0.scm
/usr/share/doc/minlog/examples/mpc/nat1.mpc
/usr/share/doc/minlog/examples/mpc/nat1.scm
/usr/share/doc/minlog/examples/mpc/nat2.mpc
/usr/share/doc/minlog/examples/mpc/nat2.scm
/usr/share/doc/minlog/examples/mpc/nat3.mpc
/usr/share/doc/minlog/examples/mpc/nat3.scm
/usr/share/doc/minlog/examples/mpc/nat4.mpc
/usr/share/doc/minlog/examples/mpc/nat4.scm
/usr/share/doc/minlog/examples/mpc/prop.mpc
/usr/share/doc/minlog/examples/mpc/quant.mpc
/usr/share/doc/minlog/examples/mpc/quant1.mpc
/usr/share/doc/minlog/examples/mpc/quant1.scm
/usr/share/doc/minlog/examples/mpc/quant2.mpc
/usr/share/doc/minlog/examples/mpc/quant2.scm
/usr/share/doc/minlog/examples/mpc/quant3.mpc
/usr/share/doc/minlog/examples/mpc/quant3.scm
/usr/share/doc/minlog/examples/normtest/normtest.scm
/usr/share/doc/minlog/examples/ordinals/FAN/bar.scm
/usr/share/doc/minlog/examples/ordinals/FAN/positive.scm
/usr/share/doc/minlog/examples/ordinals/FAN/ucomp.scm
/usr/share/doc/minlog/examples/ordinals/FAN/wklfan.scm
/usr/share/doc/minlog/examples/ordinals/boolean.scm
/usr/share/doc/minlog/examples/ordinals/e0.zip
/usr/share/doc/minlog/examples/ordinals/hao.scm
/usr/share/doc/minlog/examples/ordinals/hao_cnf.scm
/usr/share/doc/minlog/examples/ordinals/hao_relations.scm
/usr/share/doc/minlog/examples/ordinals/hao_suc.scm
/usr/share/doc/minlog/examples/ordinals/hao_term.scm
/usr/share/doc/minlog/examples/ordinals/nat.scm
/usr/share/doc/minlog/examples/ordinals/natnum.scm
/usr/share/doc/minlog/examples/ordinals/ordinals.scm
/usr/share/doc/minlog/examples/ordinals/pao.zip
/usr/share/doc/minlog/examples/ordinals/reflection.scm
/usr/share/doc/minlog/examples/ordinals/reflection_alpha.scm
/usr/share/doc/minlog/examples/ordinals/reflection_nat.scm
/usr/share/doc/minlog/examples/ordinals/reflection_numbers.scm
/usr/share/doc/minlog/examples/ordinals/reflection_numbers_thms.scm
/usr/share/doc/minlog/examples/ordinals/reflection_rationals.scm
/usr/share/doc/minlog/examples/ordinals/reflection_thms.scm
/usr/share/doc/minlog/examples/ordinals/ring.scm
/usr/share/doc/minlog/examples/prop/Makefile
/usr/share/doc/minlog/examples/prop/prop.save
/usr/share/doc/minlog/examples/prop/prop.scm
/usr/share/doc/minlog/examples/pruning/align.scm
/usr/share/doc/minlog/examples/pruning/maxseg.scm
/usr/share/doc/minlog/examples/quant/Makefile
/usr/share/doc/minlog/examples/quant/README
/usr/share/doc/minlog/examples/quant/hofmann.save
/usr/share/doc/minlog/examples/quant/hofmann.scm
/usr/share/doc/minlog/examples/quant/lnf.save
/usr/share/doc/minlog/examples/quant/lnf.scm
/usr/share/doc/minlog/examples/quant/los.scm
/usr/share/doc/minlog/examples/quant/orevkov.save
/usr/share/doc/minlog/examples/quant/orevkov.scm
/usr/share/doc/minlog/examples/quant/quant.save
/usr/share/doc/minlog/examples/quant/quant.scm
/usr/share/doc/minlog/examples/reflection.scm
/usr/share/doc/minlog/examples/tait/dbrealrs.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/Lem1.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/Lem2.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/Lem3.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/NT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/README.txt
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxGlobal.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxGlobal_SHORT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem1.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem1_SHORT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem3.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem3_SHORT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxNT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxNT_SHORT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxSC.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsAxioms.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsAxiomsSpecial.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsLamCalc.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsNT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsPred.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsSubst.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/initiate.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/omega.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsGlobal.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsGlobal_SHORT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsPart1.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsPart2.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/subst_Joachimski_SHORT.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/tait.scm
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/trivial.scm
/usr/share/doc/minlog/examples/tait/sn.scm
/usr/share/doc/minlog/examples/tait/taitRun.scm
/usr/share/doc/minlog/examples/tait/taitScott.scm
/usr/share/doc/minlog/examples/tait/taitScottPartial.scm
/usr/share/doc/minlog/examples/test.save
/usr/share/doc/minlog/examples/test.scm
/usr/share/doc/minlog/examples/train/index.scm
/usr/share/doc/minlog/examples/train/index2int.scm
/usr/share/doc/minlog/examples/train/int.scm
/usr/share/doc/minlog/examples/train/pos.scm
/usr/share/doc/minlog/examples/train/train.scm
/usr/share/doc/minlog/examples/tutorial.scm
/usr/share/doc/minlog/examples/warning.txt
/usr/share/doc/minlog/examples/warshall/Makefile
/usr/share/doc/minlog/examples/warshall/lemmas.mpc
/usr/share/doc/minlog/examples/warshall/warshall.mpc
/usr/share/doc/minlog/examples/warshall/warshall.save
/usr/share/doc/minlog/examples/warshall/warshall.scm
/usr/share/doc/minlog/mlcf.pdf.gz
/usr/share/doc/minlog/mpcref.pdf.gz
/usr/share/doc/minlog/ref.pdf.gz
/usr/share/doc/minlog/reflection_manual.pdf.gz
/usr/share/doc/minlog/tutor.pdf.gz
/usr/share/emacs/site-lisp/minlog/minlog-mode.el
/usr/share/emacs/site-lisp/minlog/minlog.el
/usr/share/man/man1/minlog.1.gz
/usr/share/minlog/init.scm
/usr/share/minlog/lib/exc.scm
/usr/share/minlog/lib/list.scm
/usr/share/minlog/lib/listrev.scm
/usr/share/minlog/lib/minpr.scm
/usr/share/minlog/lib/minpr_gen.scm
/usr/share/minlog/lib/nat.scm
/usr/share/minlog/lib/nat2.scm
/usr/share/minlog/lib/natinf.scm
/usr/share/minlog/lib/numbers.scm
/usr/share/minlog/lib/realsimp.scm
/usr/share/minlog/lib/tensor.scm
/usr/share/minlog/lib/tsil.scm
/usr/share/minlog/modules/diatup.scm
/usr/share/minlog/modules/type-inf.scm
/usr/share/minlog/src/atr.scm
/usr/share/minlog/src/axiom.scm
/usr/share/minlog/src/boole.scm
/usr/share/minlog/src/ets.scm
/usr/share/minlog/src/etsd.scm
/usr/share/minlog/src/formula.scm
/usr/share/minlog/src/gen-app.scm
/usr/share/minlog/src/grammar.scm
/usr/share/minlog/src/init.scm
/usr/share/minlog/src/lalr.scm
/usr/share/minlog/src/list.scm
/usr/share/minlog/src/lnf.scm
/usr/share/minlog/src/logical.scm
/usr/share/minlog/src/lr-dvr.scm
/usr/share/minlog/src/minitab.scm
/usr/share/minlog/src/mpc.scm
/usr/share/minlog/src/pconst.scm
/usr/share/minlog/src/pp-sexp.scm
/usr/share/minlog/src/pp.scm
/usr/share/minlog/src/pproof.scm
/usr/share/minlog/src/prologue.scm
/usr/share/minlog/src/proof.scm
/usr/share/minlog/src/prop.scm
/usr/share/minlog/src/psym.scm
/usr/share/minlog/src/run-mpc.scm
/usr/share/minlog/src/term.scm
/usr/share/minlog/src/todo.scm
/usr/share/minlog/src/typ.scm
/usr/share/minlog/src/unicode.scm
/usr/share/minlog/src/var.scm
/usr/share/minlog/src/welcome.scm