Package - minlog

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/minlog/minlog_4.0.99.20100221-7_all.deb (Size: 2.5MiB)

Property	Value
Package	minlog
Version	4.0.99.20100221-7
Installed-Size	7555
Maintainer	Debian QA Group
Architecture	all
Depends	racket | guile
Recommends	emacs25 | emacs24 | emacsen
Suggests	proofgeneral-minlog, quack-el
Description	Proof assistant based on first order natural deduction calculus
Description-md5	5282cef3106afd8fdee9635a8a3692bd
Homepage	http://www.minlog-system.de
Section	math
Priority	optional
Filename	pool/main/m/minlog/minlog_4.0.99.20100221-7_all.deb
Size	2628820
MD5sum	7b3af3a9cfda4575bddc6923fe364ac7
SHA256	46fa0a7969d3952746a65a7cbd0821475b87a5d7a20d3e2e5bcd356ae5b83efe

Files in package

• /usr/bin/minlog
• /usr/share/doc-base/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
• /usr/share/doc/minlog/mpcref.pdf
• /usr/share/doc/minlog/ref.pdf
• /usr/share/doc/minlog/reflection_manual.pdf
• /usr/share/doc/minlog/tutor.pdf
• /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