Package - hol88-source
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/hol88/hol88-source_2.02.19940316dfsg-6_all.deb (Size: 267.6KiB)| Property | Value |
|---|---|
| Package | hol88-source |
| Source | hol88 |
| Version | 2.02.19940316dfsg-6 |
| Installed-Size | 1647 |
| Maintainer | Camm Maguire |
| Architecture | all |
| Description | Higher Order Logic, source files |
| Description-md5 | 27c7f6d4c5f2c1b835d23e7c80a45f30 |
| Tag | role::source |
| Section | math |
| Priority | optional |
| Filename | pool/main/h/hol88/hol88-source_2.02.19940316dfsg-6_all.deb |
| Size | 273976 |
| MD5sum | 47a38b8ccfa7f24ad9e4be59f60dd907 |
| SHA256 | 43269cd488cb0932e19fe8dc947ced4cd1e343ee48385284ef00f4f51842ff87 |
Files in package
- /usr/share/doc/hol88-source/changelog.Debian.gz
- /usr/share/doc/hol88-source/copyright
- /usr/share/hol88-2.02.19940316dfsg/lisp/akcl.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/banner.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/constp.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-cl.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-constants.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-dml.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-format.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-franz.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-freadth.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-gp.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-help.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-inst.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-iox-stand.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-lis.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-macro.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-mlprin.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-obj.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-ol-net.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-ol-rec.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-ol-syntax.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-parser.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-parsml.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-parsol.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-simpl.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-site.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-subst.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-system.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-thyfns.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-tml.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-tran.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-typeml.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-typeol.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-writml.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/f-writol.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/genfns.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/genmacs.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/gnt.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/hol-pars.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/hol-writ.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/mk-hol-lcf.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/mk-ml.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/mk_pp_thm.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/parse_as_binder.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/parslet.l
- /usr/share/hol88-2.02.19940316dfsg/lisp/parslist.l
- /usr/share/hol88-2.02.19940316dfsg/ml/abs-rep.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/conv.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/drul.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/gen.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/genfns.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/goals.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/hol-drule.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/hol-in-out.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/hol-net.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/hol-rule.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/hol-syn.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/hol-thyfn.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/ind.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/killpp.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/lcf-net.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/lib_loader.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/lis.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/list.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/load_thms.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/ml-curry.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/new-tactics.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/num.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/numconv.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/prim_rec.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/resolve.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/rewrite.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/stack.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/tacont.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/tacticals.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/tactics.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/tydefs.ml
- /usr/share/hol88-2.02.19940316dfsg/ml/tyfns.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_BASIC-HOL.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_PPLAMB.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_arith.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_arith_thms.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_bool.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_combin.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_fun.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_ind.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_list.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_list_defs.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_list_thm2.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_list_thms.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_ltree.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_num.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_one.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_pair.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_prim_rec.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_sum.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_tree.ml
- /usr/share/hol88-2.02.19940316dfsg/theories/mk_tydefs.ml