minlog 4.0.99.20100221-6 in debian - stretch / main

About

This package is 2.5 MB. It is available at http://ftp.debian.org/debian/pool/main/m/minlog/minlog_4.0.99.20100221-6_all.deb .

View its full control file here: debian/control.

Description

Proof assistant based on first order natural deduction calculus

Relations

This package depends on: racket | guile.

This package recommends: emacs25 | emacs24 | emacsen.

This package suggests: proofgeneral-minlog, quack-el.

This package does not conflict with any other package.

Package Contents

This package is indexed.

minlog 4.0.99.20100221-6 is in debian - stretch / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/minlog text/x-shellscript root:root 0o755 349 bytes
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/minlog text/plain root:root 0o644 462 bytes
/usr/share/doc/minlog/ root:root 0o755
/usr/share/doc/minlog/changelog.Debian.gz application/gzip root:root 0o644 1.2 KB
/usr/share/doc/minlog/copyright text/plain root:root 0o644 3.1 KB
/usr/share/doc/minlog/examples/ root:root 0o755
/usr/share/doc/minlog/examples/analysis/ root:root 0o755
/usr/share/doc/minlog/examples/analysis/cont.scm text/plain root:root 0o644 71.5 KB
/usr/share/doc/minlog/examples/analysis/extraction.scm text/plain root:root 0o644 16.3 KB
/usr/share/doc/minlog/examples/analysis/real.scm text/plain root:root 0o644 21.4 KB
/usr/share/doc/minlog/examples/analysis/simpreal.scm text/plain root:root 0o644 90.4 KB
/usr/share/doc/minlog/examples/arith/ root:root 0o755
/usr/share/doc/minlog/examples/arith/bundeswett.scm text/plain root:root 0o644 10.5 KB
/usr/share/doc/minlog/examples/arith/Makefile text/plain root:root 0o644 733 bytes
/usr/share/doc/minlog/examples/arith/quotrem/ root:root 0o755
/usr/share/doc/minlog/examples/arith/quotrem/Makefile text/x-makefile root:root 0o644 676 bytes
/usr/share/doc/minlog/examples/arith/quotrem/pair.tac text/plain root:root 0o644 2.6 KB
/usr/share/doc/minlog/examples/arith/quotrem/quotrem-ex.save text/plain root:root 0o644 5.0 KB
/usr/share/doc/minlog/examples/arith/quotrem/quotrem-ex.scm text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/arith/realsqrttwo.scm text/plain root:root 0o644 935 bytes
/usr/share/doc/minlog/examples/arith/sqrttwo.scm text/plain root:root 0o644 7.1 KB
/usr/share/doc/minlog/examples/bar/ root:root 0o755
/usr/share/doc/minlog/examples/bar/bar.save text/plain root:root 0o644 9.9 KB
/usr/share/doc/minlog/examples/bar/bar.scm text/plain root:root 0o644 4.1 KB
/usr/share/doc/minlog/examples/bar/higman01.save text/plain root:root 0o644 61.3 KB
/usr/share/doc/minlog/examples/bar/higman01.scm text/plain root:root 0o644 9.0 KB
/usr/share/doc/minlog/examples/bar/higman-finite.scm text/plain root:root 0o644 16.9 KB
/usr/share/doc/minlog/examples/bar/Makefile text/x-makefile root:root 0o644 704 bytes
/usr/share/doc/minlog/examples/classical/ root:root 0o755
/usr/share/doc/minlog/examples/classical/combinatorics/ root:root 0o755
/usr/share/doc/minlog/examples/classical/combinatorics/booleantape.scm text/plain root:root 0o644 10.4 KB
/usr/share/doc/minlog/examples/classical/combinatorics/pigeonhole.scm text/plain root:root 0o644 9.8 KB
/usr/share/doc/minlog/examples/classical/combinatorics/tape.scm text/plain root:root 0o644 10.4 KB
/usr/share/doc/minlog/examples/classical/dickson/ root:root 0o755
/usr/share/doc/minlog/examples/classical/dickson/dickson2gen.scm text/plain root:root 0o644 3.4 KB
/usr/share/doc/minlog/examples/classical/dickson/dickson_gen.scm text/plain root:root 0o644 6.1 KB
/usr/share/doc/minlog/examples/classical/dickson/dickson_lemma1.scm text/plain root:root 0o644 1.5 KB
/usr/share/doc/minlog/examples/classical/dickson/dickson_lemma2.scm text/plain root:root 0o644 5.6 KB
/usr/share/doc/minlog/examples/classical/dickson/dickson.tac text/plain root:root 0o644 2.8 KB
/usr/share/doc/minlog/examples/classical/gcd/ root:root 0o755
/usr/share/doc/minlog/examples/classical/gcd/gcd-a.scm text/plain root:root 0o644 6.5 KB
/usr/share/doc/minlog/examples/classical/gcd/gcd-d.scm text/plain root:root 0o644 5.4 KB
/usr/share/doc/minlog/examples/classical/gcd/gcd-gind.scm text/plain root:root 0o644 54.2 KB
/usr/share/doc/minlog/examples/classical/gcd/gcd_minpr.scm text/plain root:root 0o644 4.9 KB
/usr/share/doc/minlog/examples/classical/gcd/gcd.scm text/plain root:root 0o644 6.6 KB
/usr/share/doc/minlog/examples/classical/hsh.scm text/plain root:root 0o644 5.1 KB
/usr/share/doc/minlog/examples/classical/Makefile text/plain root:root 0o644 667 bytes
/usr/share/doc/minlog/examples/classical/root.save text/plain root:root 0o644 2.6 KB
/usr/share/doc/minlog/examples/classical/root.scm text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/classical/surj.scm text/plain root:root 0o644 3.7 KB
/usr/share/doc/minlog/examples/classical/wftest.save text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/classical/wftest.scm text/plain root:root 0o644 2.5 KB
/usr/share/doc/minlog/examples/dc/ root:root 0o755
/usr/share/doc/minlog/examples/dc/dc-first.save text/plain root:root 0o644 16.7 KB
/usr/share/doc/minlog/examples/dc/dc-first.scm text/plain root:root 0o644 7.4 KB
/usr/share/doc/minlog/examples/dc/Makefile text/x-makefile root:root 0o644 660 bytes
/usr/share/doc/minlog/examples/diatup/ root:root 0o755
/usr/share/doc/minlog/examples/diatup/BinTapeBis.scm text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/diatup/BinTape.scm text/plain root:root 0o644 1.9 KB
/usr/share/doc/minlog/examples/diatup/DicksonTwo.scm text/plain root:root 0o644 5.5 KB
/usr/share/doc/minlog/examples/diatup/fibonacci/ root:root 0o755
/usr/share/doc/minlog/examples/diatup/fibonacci/fib-ATR.scm text/plain root:root 0o644 2.0 KB
/usr/share/doc/minlog/examples/diatup/fibonacci/fib-DIA.scm text/plain root:root 0o644 4.1 KB
/usr/share/doc/minlog/examples/diatup/fibonacci/newatr.scm text/plain root:root 0o644 43.7 KB
/usr/share/doc/minlog/examples/diatup/HeredExtEq/ root:root 0o755
/usr/share/doc/minlog/examples/diatup/HeredExtEq/DoubleSum.scm text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/diatup/HeredExtEq/heeq-def.scm text/plain root:root 0o644 21.3 KB
/usr/share/doc/minlog/examples/diatup/HeredExtEq/SimpleSum.scm text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/diatup/HeredExtEq/TripleSum.scm text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/diatup/hsh-Berger.scm text/plain root:root 0o644 2.7 KB
/usr/share/doc/minlog/examples/diatup/IndAxiom/ root:root 0o755
/usr/share/doc/minlog/examples/diatup/IndAxiom/IndAxSrc.scm text/plain root:root 0o644 12.4 KB
/usr/share/doc/minlog/examples/diatup/IndAxiom/IND-exall.scm text/plain root:root 0o644 1.9 KB
/usr/share/doc/minlog/examples/diatup/IndAxiom/IND-pureEx.scm text/plain root:root 0o644 1.5 KB
/usr/share/doc/minlog/examples/diatup/IndAxiom/IND-qfr.scm text/plain root:root 0o644 1.1 KB
/usr/share/doc/minlog/examples/diatup/IndZeroTest.scm text/plain root:root 0o644 2.1 KB
/usr/share/doc/minlog/examples/diatup/IntegerRoot.scm text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/diatup/NonExStabTest.scm text/plain root:root 0o644 931 bytes
/usr/share/doc/minlog/examples/diatup/TytupAssoc.scm text/plain root:root 0o644 1.8 KB
/usr/share/doc/minlog/examples/dijkstra/ root:root 0o755
/usr/share/doc/minlog/examples/dijkstra/count.save text/plain root:root 0o644 33.8 KB
/usr/share/doc/minlog/examples/dijkstra/count.scm text/plain root:root 0o644 4.1 KB
/usr/share/doc/minlog/examples/dijkstra/dijkstra.save text/plain root:root 0o644 388.1 KB
/usr/share/doc/minlog/examples/dijkstra/dijkstra.scm text/plain root:root 0o644 33.4 KB
/usr/share/doc/minlog/examples/dijkstra/example.scm text/plain root:root 0o644 14.0 KB
/usr/share/doc/minlog/examples/dijkstra/Makefile text/plain root:root 0o644 670 bytes
/usr/share/doc/minlog/examples/dijkstra/pick.scm text/plain root:root 0o644 7.3 KB
/usr/share/doc/minlog/examples/dijkstra/wf.scm text/plain root:root 0o644 7.0 KB
/usr/share/doc/minlog/examples/fan/ root:root 0o755
/usr/share/doc/minlog/examples/fan/fanwklu.scm text/plain root:root 0o644 37.7 KB
/usr/share/doc/minlog/examples/fibonacci/ root:root 0o755
/usr/share/doc/minlog/examples/fibonacci/equal-add.mpc text/plain root:root 0o644 1.5 KB
/usr/share/doc/minlog/examples/fibonacci/fibconstr.scm text/plain root:root 0o644 1.8 KB
/usr/share/doc/minlog/examples/fibonacci/fib-functional.mpc text/plain root:root 0o644 1.7 KB
/usr/share/doc/minlog/examples/fibonacci/fib.mpc text/plain root:root 0o644 1.5 KB
/usr/share/doc/minlog/examples/fibonacci/fib.scm text/plain root:root 0o644 2.3 KB
/usr/share/doc/minlog/examples/hounif/ root:root 0o755
/usr/share/doc/minlog/examples/hounif/Makefile text/plain root:root 0o644 648 bytes
/usr/share/doc/minlog/examples/hounif/nipkow.save text/plain root:root 0o644 1.7 KB
/usr/share/doc/minlog/examples/hounif/nipkow.scm text/plain root:root 0o644 4.7 KB
/usr/share/doc/minlog/examples/hounif/nipkow.tac text/plain root:root 0o644 4.7 KB
/usr/share/doc/minlog/examples/Makefile text/x-makefile root:root 0o644 1.5 KB
/usr/share/doc/minlog/examples/Makefile.template text/plain root:root 0o644 1.5 KB
/usr/share/doc/minlog/examples/mpc/ root:root 0o755
/usr/share/doc/minlog/examples/mpc/list1.mpc text/plain root:root 0o644 844 bytes
/usr/share/doc/minlog/examples/mpc/list2.mpc text/plain root:root 0o644 938 bytes
/usr/share/doc/minlog/examples/mpc/nat0.scm text/plain root:root 0o644 822 bytes
/usr/share/doc/minlog/examples/mpc/nat1.mpc text/plain root:root 0o644 276 bytes
/usr/share/doc/minlog/examples/mpc/nat1.scm text/plain root:root 0o644 1.1 KB
/usr/share/doc/minlog/examples/mpc/nat2.mpc text/plain root:root 0o644 404 bytes
/usr/share/doc/minlog/examples/mpc/nat2.scm text/plain root:root 0o644 868 bytes
/usr/share/doc/minlog/examples/mpc/nat3.mpc text/plain root:root 0o644 433 bytes
/usr/share/doc/minlog/examples/mpc/nat3.scm text/plain root:root 0o644 867 bytes
/usr/share/doc/minlog/examples/mpc/nat4.mpc text/plain root:root 0o644 435 bytes
/usr/share/doc/minlog/examples/mpc/nat4.scm text/plain root:root 0o644 947 bytes
/usr/share/doc/minlog/examples/mpc/prop.mpc text/plain root:root 0o644 810 bytes
/usr/share/doc/minlog/examples/mpc/quant1.mpc text/plain root:root 0o644 656 bytes
/usr/share/doc/minlog/examples/mpc/quant1.scm text/plain root:root 0o644 1018 bytes
/usr/share/doc/minlog/examples/mpc/quant2.mpc text/plain root:root 0o644 189 bytes
/usr/share/doc/minlog/examples/mpc/quant2.scm text/plain root:root 0o644 604 bytes
/usr/share/doc/minlog/examples/mpc/quant3.mpc text/plain root:root 0o644 403 bytes
/usr/share/doc/minlog/examples/mpc/quant3.scm text/plain root:root 0o644 2.7 KB
/usr/share/doc/minlog/examples/mpc/quant.mpc text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/normtest/ root:root 0o755
/usr/share/doc/minlog/examples/normtest/normtest.scm text/plain root:root 0o644 6.4 KB
/usr/share/doc/minlog/examples/ordinals/ root:root 0o755
/usr/share/doc/minlog/examples/ordinals/boolean.scm text/plain root:root 0o644 15.1 KB
/usr/share/doc/minlog/examples/ordinals/e0.zip application/zip root:root 0o644 23.3 KB
/usr/share/doc/minlog/examples/ordinals/FAN/ root:root 0o755
/usr/share/doc/minlog/examples/ordinals/FAN/bar.scm text/plain root:root 0o644 9.5 KB
/usr/share/doc/minlog/examples/ordinals/FAN/positive.scm text/plain root:root 0o644 57.1 KB
/usr/share/doc/minlog/examples/ordinals/FAN/ucomp.scm text/plain root:root 0o644 14.7 KB
/usr/share/doc/minlog/examples/ordinals/FAN/wklfan.scm text/plain root:root 0o644 4.3 KB
/usr/share/doc/minlog/examples/ordinals/hao_cnf.scm text/plain root:root 0o644 17.1 KB
/usr/share/doc/minlog/examples/ordinals/hao_relations.scm text/plain root:root 0o644 43.0 KB
/usr/share/doc/minlog/examples/ordinals/hao.scm text/plain root:root 0o644 6.0 KB
/usr/share/doc/minlog/examples/ordinals/hao_suc.scm text/plain root:root 0o644 18.9 KB
/usr/share/doc/minlog/examples/ordinals/hao_term.scm text/plain root:root 0o644 15.8 KB
/usr/share/doc/minlog/examples/ordinals/natnum.scm text/plain root:root 0o644 12.4 KB
/usr/share/doc/minlog/examples/ordinals/nat.scm text/plain root:root 0o644 19.5 KB
/usr/share/doc/minlog/examples/ordinals/ordinals.scm text/plain root:root 0o644 6.4 KB
/usr/share/doc/minlog/examples/ordinals/pao.zip application/zip root:root 0o644 33.9 KB
/usr/share/doc/minlog/examples/ordinals/reflection_alpha.scm text/plain root:root 0o644 126.6 KB
/usr/share/doc/minlog/examples/ordinals/reflection_nat.scm text/plain root:root 0o644 38.9 KB
/usr/share/doc/minlog/examples/ordinals/reflection_numbers.scm text/plain root:root 0o644 6.3 KB
/usr/share/doc/minlog/examples/ordinals/reflection_numbers_thms.scm text/plain root:root 0o644 5.8 KB
/usr/share/doc/minlog/examples/ordinals/reflection_rationals.scm text/plain root:root 0o644 63.6 KB
/usr/share/doc/minlog/examples/ordinals/reflection.scm text/plain root:root 0o644 102.1 KB
/usr/share/doc/minlog/examples/ordinals/reflection_thms.scm text/plain root:root 0o644 4.2 KB
/usr/share/doc/minlog/examples/ordinals/ring.scm text/plain root:root 0o644 3.3 KB
/usr/share/doc/minlog/examples/prop/ root:root 0o755
/usr/share/doc/minlog/examples/prop/Makefile text/plain root:root 0o644 643 bytes
/usr/share/doc/minlog/examples/prop/prop.save text/plain root:root 0o644 5.9 KB
/usr/share/doc/minlog/examples/prop/prop.scm text/plain root:root 0o644 6.9 KB
/usr/share/doc/minlog/examples/pruning/ root:root 0o755
/usr/share/doc/minlog/examples/pruning/align.scm text/plain root:root 0o644 8.4 KB
/usr/share/doc/minlog/examples/pruning/maxseg.scm text/plain root:root 0o644 6.4 KB
/usr/share/doc/minlog/examples/quant/ root:root 0o755
/usr/share/doc/minlog/examples/quant/hofmann.save text/plain root:root 0o644 6.2 KB
/usr/share/doc/minlog/examples/quant/hofmann.scm text/plain root:root 0o644 3.9 KB
/usr/share/doc/minlog/examples/quant/lnf.save text/plain root:root 0o644 4.8 KB
/usr/share/doc/minlog/examples/quant/lnf.scm text/plain root:root 0o644 2.1 KB
/usr/share/doc/minlog/examples/quant/los.scm text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/quant/Makefile text/plain root:root 0o644 708 bytes
/usr/share/doc/minlog/examples/quant/orevkov.save text/plain root:root 0o644 58.3 KB
/usr/share/doc/minlog/examples/quant/orevkov.scm text/plain root:root 0o644 5.4 KB
/usr/share/doc/minlog/examples/quant/quant.save text/plain root:root 0o644 29.3 KB
/usr/share/doc/minlog/examples/quant/quant.scm text/plain root:root 0o644 7.2 KB
/usr/share/doc/minlog/examples/quant/README text/plain root:root 0o644 366 bytes
/usr/share/doc/minlog/examples/reflection.scm text/plain root:root 0o644 20.3 KB
/usr/share/doc/minlog/examples/Schueler/ root:root 0o755
/usr/share/doc/minlog/examples/Schueler/germanise.scm text/plain root:root 0o644 6.7 KB
/usr/share/doc/minlog/examples/Schueler/probestud.scm text/plain root:root 0o644 2.7 KB
/usr/share/doc/minlog/examples/Schueler/probestudstart.scm text/plain root:root 0o644 1.6 KB
/usr/share/doc/minlog/examples/tait/ root:root 0o755
/usr/share/doc/minlog/examples/tait/dbrealrs.scm text/plain root:root 0o644 86.0 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/ root:root 0o755
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxGlobal.scm text/plain root:root 0o644 13.6 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxGlobal_SHORT.scm text/plain root:root 0o644 3.6 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem1.scm text/plain root:root 0o644 5.1 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem1_SHORT.scm text/plain root:root 0o644 2.1 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem3.scm text/plain root:root 0o644 9.6 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxLem3_SHORT.scm text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxNT.scm text/plain root:root 0o644 4.7 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxNT_SHORT.scm text/plain root:root 0o644 2.6 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/auxSC.scm text/plain root:root 0o644 5.0 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsAxioms.scm text/plain root:root 0o644 2.7 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsAxiomsSpecial.scm text/plain root:root 0o644 2.0 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsLamCalc.scm text/plain root:root 0o644 7.4 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsNT.scm text/plain root:root 0o644 4.7 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsPred.scm text/plain root:root 0o644 5.9 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/defsSubst.scm text/plain root:root 0o644 2.9 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/initiate.scm text/plain root:root 0o644 401 bytes
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/Lem1.scm text/plain root:root 0o644 3.1 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/Lem2.scm text/plain root:root 0o644 2.2 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/Lem3.scm text/plain root:root 0o644 3.3 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/NT.scm text/plain root:root 0o644 1.6 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/omega.scm text/plain root:root 0o644 30.2 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsGlobal.scm text/plain root:root 0o644 16.3 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsGlobal_SHORT.scm text/plain root:root 0o644 5.1 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsPart1.scm text/plain root:root 0o644 21.5 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/proofAxiomsPart2.scm text/plain root:root 0o644 16.7 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/README.txt text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/subst_Joachimski.scm text/plain root:root 0o644 16.6 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/subst_Joachimski_SHORT.scm text/plain root:root 0o644 4.3 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/tait.scm text/plain root:root 0o644 8.2 KB
/usr/share/doc/minlog/examples/tait/diplomarbeit_schlenker/trivial.scm text/plain root:root 0o644 4.1 KB
/usr/share/doc/minlog/examples/tait/sn.scm text/plain root:root 0o644 137.6 KB
/usr/share/doc/minlog/examples/tait/taitRun.scm text/plain root:root 0o644 4.2 KB
/usr/share/doc/minlog/examples/tait/taitScottPartial.scm text/plain root:root 0o644 18.0 KB
/usr/share/doc/minlog/examples/tait/taitScott.scm text/plain root:root 0o644 16.6 KB
/usr/share/doc/minlog/examples/test.save text/plain root:root 0o644 174.6 KB
/usr/share/doc/minlog/examples/test.scm text/plain root:root 0o644 74.9 KB
/usr/share/doc/minlog/examples/train/ root:root 0o755
/usr/share/doc/minlog/examples/train/index2int.scm text/plain root:root 0o644 3.6 KB
/usr/share/doc/minlog/examples/train/index.scm text/plain root:root 0o644 12.8 KB
/usr/share/doc/minlog/examples/train/int.scm text/plain root:root 0o644 52.9 KB
/usr/share/doc/minlog/examples/train/pos.scm text/plain root:root 0o644 67.0 KB
/usr/share/doc/minlog/examples/train/train.scm text/plain root:root 0o644 39.2 KB
/usr/share/doc/minlog/examples/tutorial.scm text/plain root:root 0o644 5.2 KB
/usr/share/doc/minlog/examples/warning.txt text/plain root:root 0o644 745 bytes
/usr/share/doc/minlog/examples/warshall/ root:root 0o755
/usr/share/doc/minlog/examples/warshall/lemmas.mpc text/plain root:root 0o644 2.5 KB
/usr/share/doc/minlog/examples/warshall/Makefile text/plain root:root 0o644 651 bytes
/usr/share/doc/minlog/examples/warshall/warshall.mpc text/plain root:root 0o644 13.6 KB
/usr/share/doc/minlog/examples/warshall/warshall.save text/plain root:root 0o644 59.6 KB
/usr/share/doc/minlog/examples/warshall/warshall.scm text/plain root:root 0o644 7.8 KB
/usr/share/doc/minlog/mlcf.pdf application/pdf root:root 0o644 737.8 KB
/usr/share/doc/minlog/mpcref.pdf application/pdf root:root 0o644 185.4 KB
/usr/share/doc/minlog/reflection_manual.pdf application/pdf root:root 0o644 189.9 KB
/usr/share/doc/minlog/ref.pdf application/pdf root:root 0o644 510.0 KB
/usr/share/doc/minlog/tutor.pdf application/pdf root:root 0o644 277.1 KB
/usr/share/emacs/ root:root 0o755
/usr/share/emacs/site-lisp/ root:root 0o755
/usr/share/emacs/site-lisp/minlog/ root:root 0o755
/usr/share/emacs/site-lisp/minlog/minlog.el text/x-lisp root:root 0o644 2.8 KB
/usr/share/emacs/site-lisp/minlog/minlog-mode.el text/plain root:root 0o644 11.7 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/minlog.1.gz application/gzip root:root 0o644 434 bytes
/usr/share/minlog/ root:root 0o755
/usr/share/minlog/init.scm text/plain root:root 0o644 6.3 KB
/usr/share/minlog/lib/ root:root 0o755
/usr/share/minlog/lib/exc.scm text/plain root:root 0o644 1.7 KB
/usr/share/minlog/lib/listrev.scm text/plain root:root 0o644 20.2 KB
/usr/share/minlog/lib/list.scm text/plain root:root 0o644 23.4 KB
/usr/share/minlog/lib/minpr_gen.scm text/plain root:root 0o644 10.4 KB
/usr/share/minlog/lib/minpr.scm text/plain root:root 0o644 5.6 KB
/usr/share/minlog/lib/nat2.scm text/plain root:root 0o644 5.8 KB
/usr/share/minlog/lib/natinf.scm text/plain root:root 0o644 10.5 KB
/usr/share/minlog/lib/nat.scm text/plain root:root 0o644 26.2 KB
/usr/share/minlog/lib/numbers.scm text/plain root:root 0o644 69.9 KB
/usr/share/minlog/lib/realsimp.scm text/plain root:root 0o644 68.6 KB
/usr/share/minlog/lib/tensor.scm text/plain root:root 0o644 4.9 KB
/usr/share/minlog/lib/tsil.scm text/plain root:root 0o644 9.2 KB
/usr/share/minlog/modules/ root:root 0o755
/usr/share/minlog/modules/diatup.scm text/plain root:root 0o644 212.2 KB
/usr/share/minlog/modules/type-inf.scm text/plain root:root 0o644 12.5 KB
/usr/share/minlog/src/ root:root 0o755
/usr/share/minlog/src/atr.scm text/plain root:root 0o644 32.8 KB
/usr/share/minlog/src/axiom.scm text/plain root:root 0o644 112.0 KB
/usr/share/minlog/src/boole.scm text/plain root:root 0o644 17.2 KB
/usr/share/minlog/src/etsd.scm text/plain root:root 0o644 58.1 KB
/usr/share/minlog/src/ets.scm text/plain root:root 0o644 90.2 KB
/usr/share/minlog/src/formula.scm text/plain root:root 0o644 140.8 KB
/usr/share/minlog/src/gen-app.scm text/plain root:root 0o644 2.3 KB
/usr/share/minlog/src/grammar.scm text/plain root:root 0o644 24.3 KB
/usr/share/minlog/src/init.scm text/plain root:root 0o644 6.2 KB
/usr/share/minlog/src/lalr.scm text/plain root:root 0o644 58.4 KB
/usr/share/minlog/src/list.scm text/plain root:root 0o644 12.7 KB
/usr/share/minlog/src/lnf.scm text/plain root:root 0o644 7.8 KB
/usr/share/minlog/src/logical.scm text/plain root:root 0o644 8.5 KB
/usr/share/minlog/src/lr-dvr.scm text/plain root:root 0o644 12.4 KB
/usr/share/minlog/src/minitab.scm text/plain root:root 0o644 93.2 KB
/usr/share/minlog/src/mpc.scm text/plain root:root 0o644 29.8 KB
/usr/share/minlog/src/pconst.scm text/plain root:root 0o644 97.4 KB
/usr/share/minlog/src/pproof.scm text/plain root:root 0o644 321.5 KB
/usr/share/minlog/src/pp.scm text/plain root:root 0o644 27.1 KB
/usr/share/minlog/src/pp-sexp.scm text/plain root:root 0o644 10.4 KB
/usr/share/minlog/src/prologue.scm text/plain root:root 0o644 27.9 KB
/usr/share/minlog/src/proof.scm text/plain root:root 0o644 366.5 KB
/usr/share/minlog/src/prop.scm text/plain root:root 0o644 24.6 KB
/usr/share/minlog/src/psym.scm text/plain root:root 0o644 56.8 KB
/usr/share/minlog/src/run-mpc.scm text/plain root:root 0o644 448 bytes
/usr/share/minlog/src/term.scm text/plain root:root 0o644 247.4 KB
/usr/share/minlog/src/todo.scm text/plain root:root 0o644 5.3 KB
/usr/share/minlog/src/typ.scm text/plain root:root 0o644 63.3 KB
/usr/share/minlog/src/unicode.scm text/plain root:root 0o644 7.5 KB
/usr/share/minlog/src/var.scm text/plain root:root 0o644 12.4 KB
/usr/share/minlog/src/welcome.scm text/plain root:root 0o644 53 bytes

APT Browse - Built by Thomas Orozco.