hol88-source 2.02.19940316-28 in debian - jessie / main

About

This package is 289.9 KB. It is available at http://ftp.debian.org/debian/pool/main/h/hol88/hol88-source_2.02.19940316-28_all.deb .

View its full control file here: debian/control.

Description

Higher Order Logic, source files

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

hol88-source 2.02.19940316-28 is in debian - jessie / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/hol88-source/ root:root 0o755
/usr/share/doc/hol88-source/changelog.Debian.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/hol88-source/copyright text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/ root:root 0o755
/usr/share/hol88-2.02.19940316/lisp/ root:root 0o755
/usr/share/hol88-2.02.19940316/lisp/akcl.l text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/lisp/banner.l text/x-lisp root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/lisp/constp.l text/x-lisp root:root 0o644 3.2 KB
/usr/share/hol88-2.02.19940316/lisp/f-cl.l text/x-lisp root:root 0o644 23.7 KB
/usr/share/hol88-2.02.19940316/lisp/f-constants.l text/plain root:root 0o644 14.0 KB
/usr/share/hol88-2.02.19940316/lisp/f-dml.l text/x-lisp root:root 0o644 14.7 KB
/usr/share/hol88-2.02.19940316/lisp/f-format.l text/x-lisp root:root 0o644 12.1 KB
/usr/share/hol88-2.02.19940316/lisp/f-franz.l text/x-lisp root:root 0o644 11.0 KB
/usr/share/hol88-2.02.19940316/lisp/f-freadth.l text/x-lisp root:root 0o644 8.1 KB
/usr/share/hol88-2.02.19940316/lisp/f-gp.l text/x-lisp root:root 0o644 6.6 KB
/usr/share/hol88-2.02.19940316/lisp/f-help.l text/x-lisp root:root 0o644 4.9 KB
/usr/share/hol88-2.02.19940316/lisp/f-inst.l text/x-lisp root:root 0o644 17.7 KB
/usr/share/hol88-2.02.19940316/lisp/f-iox-stand.l text/x-lisp root:root 0o644 12.4 KB
/usr/share/hol88-2.02.19940316/lisp/f-lis.l text/x-lisp root:root 0o644 5.3 KB
/usr/share/hol88-2.02.19940316/lisp/f-macro.l text/x-lisp root:root 0o644 4.4 KB
/usr/share/hol88-2.02.19940316/lisp/f-mlprin.l text/x-lisp root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/lisp/f-obj.l text/x-lisp root:root 0o644 4.1 KB
/usr/share/hol88-2.02.19940316/lisp/f-ol-net.l text/x-lisp root:root 0o644 9.3 KB
/usr/share/hol88-2.02.19940316/lisp/f-ol-rec.l text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/lisp/f-ol-syntax.l text/x-lisp root:root 0o644 20.5 KB
/usr/share/hol88-2.02.19940316/lisp/f-parser.l text/x-lisp root:root 0o644 15.3 KB
/usr/share/hol88-2.02.19940316/lisp/f-parsml.l text/x-lisp root:root 0o644 26.2 KB
/usr/share/hol88-2.02.19940316/lisp/f-parsol.l text/x-lisp root:root 0o644 11.4 KB
/usr/share/hol88-2.02.19940316/lisp/f-simpl.l text/x-lisp root:root 0o644 9.5 KB
/usr/share/hol88-2.02.19940316/lisp/f-site.l text/x-lisp root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/lisp/f-subst.l text/x-lisp root:root 0o644 17.2 KB
/usr/share/hol88-2.02.19940316/lisp/f-system.l text/x-lisp root:root 0o644 8.3 KB
/usr/share/hol88-2.02.19940316/lisp/f-thyfns.l text/plain root:root 0o644 34.8 KB
/usr/share/hol88-2.02.19940316/lisp/f-tml.l text/plain root:root 0o644 35.4 KB
/usr/share/hol88-2.02.19940316/lisp/f-tran.l text/plain root:root 0o644 32.2 KB
/usr/share/hol88-2.02.19940316/lisp/f-typeml.l text/x-lisp root:root 0o644 30.0 KB
/usr/share/hol88-2.02.19940316/lisp/f-typeol.l text/x-lisp root:root 0o644 14.6 KB
/usr/share/hol88-2.02.19940316/lisp/f-writml.l text/x-lisp root:root 0o644 7.2 KB
/usr/share/hol88-2.02.19940316/lisp/f-writol.l text/x-lisp root:root 0o644 17.0 KB
/usr/share/hol88-2.02.19940316/lisp/genfns.l text/x-lisp root:root 0o644 2.4 KB
/usr/share/hol88-2.02.19940316/lisp/genmacs.l text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/lisp/gnt.l text/x-lisp root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/lisp/hol-pars.l text/x-lisp root:root 0o644 34.2 KB
/usr/share/hol88-2.02.19940316/lisp/hol-writ.l text/plain root:root 0o644 43.4 KB
/usr/share/hol88-2.02.19940316/lisp/mk-hol-lcf.l text/x-lisp root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/lisp/mk-ml.l text/x-lisp root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/lisp/mk_pp_thm.l text/x-lisp root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/lisp/parse_as_binder.l text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/lisp/parslet.l text/x-lisp root:root 0o644 8.0 KB
/usr/share/hol88-2.02.19940316/lisp/parslist.l text/x-lisp root:root 0o644 9.0 KB
/usr/share/hol88-2.02.19940316/ml/ root:root 0o755
/usr/share/hol88-2.02.19940316/ml/abs-rep.ml text/plain root:root 0o644 10.7 KB
/usr/share/hol88-2.02.19940316/ml/conv.ml text/plain root:root 0o644 103.9 KB
/usr/share/hol88-2.02.19940316/ml/drul.ml text/plain root:root 0o644 37.7 KB
/usr/share/hol88-2.02.19940316/ml/genfns.ml text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/ml/gen.ml text/plain root:root 0o644 11.4 KB
/usr/share/hol88-2.02.19940316/ml/goals.ml text/plain root:root 0o644 7.7 KB
/usr/share/hol88-2.02.19940316/ml/hol-drule.ml text/plain root:root 0o644 57.8 KB
/usr/share/hol88-2.02.19940316/ml/hol-in-out.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/ml/hol-net.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/ml/hol-rule.ml text/plain root:root 0o644 8.4 KB
/usr/share/hol88-2.02.19940316/ml/hol-syn.ml text/plain root:root 0o644 58.2 KB
/usr/share/hol88-2.02.19940316/ml/hol-thyfn.ml text/plain root:root 0o644 15.6 KB
/usr/share/hol88-2.02.19940316/ml/ind.ml text/plain root:root 0o644 9.3 KB
/usr/share/hol88-2.02.19940316/ml/killpp.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/ml/lcf-net.ml text/plain root:root 0o644 8.6 KB
/usr/share/hol88-2.02.19940316/ml/lib_loader.ml text/plain root:root 0o644 7.6 KB
/usr/share/hol88-2.02.19940316/ml/lis.ml text/plain root:root 0o644 7.2 KB
/usr/share/hol88-2.02.19940316/ml/list.ml text/plain root:root 0o644 45.8 KB
/usr/share/hol88-2.02.19940316/ml/load_thms.ml text/plain root:root 0o644 27.5 KB
/usr/share/hol88-2.02.19940316/ml/ml-curry.ml text/plain root:root 0o644 4.3 KB
/usr/share/hol88-2.02.19940316/ml/new-tactics.ml text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/ml/numconv.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/ml/num.ml text/plain root:root 0o644 16.4 KB
/usr/share/hol88-2.02.19940316/ml/prim_rec.ml text/plain root:root 0o644 11.1 KB
/usr/share/hol88-2.02.19940316/ml/resolve.ml text/plain root:root 0o644 19.4 KB
/usr/share/hol88-2.02.19940316/ml/rewrite.ml text/plain root:root 0o644 18.1 KB
/usr/share/hol88-2.02.19940316/ml/site.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/ml/stack.ml text/plain root:root 0o644 5.7 KB
/usr/share/hol88-2.02.19940316/ml/tacont.ml text/plain root:root 0o644 10.6 KB
/usr/share/hol88-2.02.19940316/ml/tacticals.ml text/plain root:root 0o644 10.2 KB
/usr/share/hol88-2.02.19940316/ml/tactics.ml text/plain root:root 0o644 16.6 KB
/usr/share/hol88-2.02.19940316/ml/tydefs.ml text/plain root:root 0o644 54.6 KB
/usr/share/hol88-2.02.19940316/ml/tyfns.ml text/plain root:root 0o644 26.4 KB
/usr/share/hol88-2.02.19940316/theories/ root:root 0o755
/usr/share/hol88-2.02.19940316/theories/arithmetic.th text/plain root:root 0o644 57.4 KB
/usr/share/hol88-2.02.19940316/theories/BASIC-HOL.th text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/theories/bool.th text/plain root:root 0o644 17.7 KB
/usr/share/hol88-2.02.19940316/theories/combin.th text/plain root:root 0o644 4.5 KB
/usr/share/hol88-2.02.19940316/theories/fun.th text/plain root:root 0o644 4.8 KB
/usr/share/hol88-2.02.19940316/theories/HOL.th text/plain root:root 0o644 371 bytes
/usr/share/hol88-2.02.19940316/theories/ind.th text/plain root:root 0o644 598 bytes
/usr/share/hol88-2.02.19940316/theories/list.th text/plain root:root 0o644 172.1 KB
/usr/share/hol88-2.02.19940316/theories/ltree.th text/plain root:root 0o644 8.9 KB
/usr/share/hol88-2.02.19940316/theories/mk_arith.ml text/plain root:root 0o644 5.6 KB
/usr/share/hol88-2.02.19940316/theories/mk_arith_thms.ml text/plain root:root 0o644 71.7 KB
/usr/share/hol88-2.02.19940316/theories/mk_BASIC-HOL.ml text/plain root:root 0o644 4.7 KB
/usr/share/hol88-2.02.19940316/theories/mk_bool.ml text/plain root:root 0o644 16.3 KB
/usr/share/hol88-2.02.19940316/theories/mk_combin.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/theories/mk_fun.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/theories/mk_ind.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/theories/mk_list_defs.ml text/plain root:root 0o644 26.7 KB
/usr/share/hol88-2.02.19940316/theories/mk_list.ml text/plain root:root 0o644 10.6 KB
/usr/share/hol88-2.02.19940316/theories/mk_list_thm2.ml text/plain root:root 0o644 99.1 KB
/usr/share/hol88-2.02.19940316/theories/mk_list_thms.ml text/plain root:root 0o644 18.3 KB
/usr/share/hol88-2.02.19940316/theories/mk_ltree.ml text/plain root:root 0o644 24.9 KB
/usr/share/hol88-2.02.19940316/theories/mk_num.ml text/plain root:root 0o644 9.0 KB
/usr/share/hol88-2.02.19940316/theories/mk_one.ml text/plain root:root 0o644 4.9 KB
/usr/share/hol88-2.02.19940316/theories/mk_pair.ml text/plain root:root 0o644 3.6 KB
/usr/share/hol88-2.02.19940316/theories/mk_PPLAMB.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/theories/mk_prim_rec.ml text/plain root:root 0o644 15.0 KB
/usr/share/hol88-2.02.19940316/theories/mk_sum.ml text/plain root:root 0o644 15.8 KB
/usr/share/hol88-2.02.19940316/theories/mk_tree.ml text/plain root:root 0o644 39.4 KB
/usr/share/hol88-2.02.19940316/theories/mk_tydefs.ml text/plain root:root 0o644 12.9 KB
/usr/share/hol88-2.02.19940316/theories/num.th text/plain root:root 0o644 3.5 KB
/usr/share/hol88-2.02.19940316/theories/one.th text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/theories/PPLAMB.th text/plain root:root 0o644 242 bytes
/usr/share/hol88-2.02.19940316/theories/prim_rec.th text/plain root:root 0o644 13.1 KB
/usr/share/hol88-2.02.19940316/theories/sum.th text/plain root:root 0o644 6.9 KB
/usr/share/hol88-2.02.19940316/theories/tree.th text/plain root:root 0o644 6.0 KB
/usr/share/hol88-2.02.19940316/theories/tydefs.th text/plain root:root 0o644 3.7 KB

APT Browse - Built by Thomas Orozco.