This file is indexed.

/usr/share/ is in hol88-source 2.02.19940316-28.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/hol88-source/changelog.Debian.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/ root:root 0o755
/usr/share/doc/hol88-source/ root:root 0o755
/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/ml/ root:root 0o755
/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/hol-thyfn.ml text/plain root:root 0o644 15.6 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/hol-drule.ml text/plain root:root 0o644 57.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/lis.ml text/plain root:root 0o644 7.2 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/goals.ml text/plain root:root 0o644 7.7 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/tactics.ml text/plain root:root 0o644 16.6 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/new-tactics.ml text/plain root:root 0o644 2.6 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/lcf-net.ml text/plain root:root 0o644 8.6 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/ind.ml text/plain root:root 0o644 9.3 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/tacticals.ml text/plain root:root 0o644 10.2 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/prim_rec.ml text/plain root:root 0o644 11.1 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/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/tyfns.ml text/plain root:root 0o644 26.4 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/lib_loader.ml text/plain root:root 0o644 7.6 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/list.ml text/plain root:root 0o644 45.8 KB
/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/tydefs.ml text/plain root:root 0o644 54.6 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/tacont.ml text/plain root:root 0o644 10.6 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/lisp/ root:root 0o755
/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-macro.l text/x-lisp root:root 0o644 4.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/mk-ml.l text/x-lisp root:root 0o644 3.7 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-simpl.l text/x-lisp root:root 0o644 9.5 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-site.l text/x-lisp root:root 0o644 2.3 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-typeml.l text/x-lisp root:root 0o644 30.0 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/f-subst.l text/x-lisp root:root 0o644 17.2 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/lisp/mk_pp_thm.l text/x-lisp root:root 0o644 2.3 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/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/f-ol-net.l text/x-lisp root:root 0o644 9.3 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-inst.l text/x-lisp root:root 0o644 17.7 KB
/usr/share/hol88-2.02.19940316/lisp/akcl.l text/plain root:root 0o644 1.9 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-writml.l text/x-lisp root:root 0o644 7.2 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-thyfns.l text/plain root:root 0o644 34.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/parse_as_binder.l text/plain root:root 0o644 2.8 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/f-parsol.l text/x-lisp root:root 0o644 11.4 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-ol-rec.l text/plain root:root 0o644 4.0 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-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-lis.l text/x-lisp root:root 0o644 5.3 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/f-freadth.l text/x-lisp root:root 0o644 8.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/mk-hol-lcf.l text/x-lisp root:root 0o644 2.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-parser.l text/x-lisp root:root 0o644 15.3 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/f-system.l text/x-lisp root:root 0o644 8.3 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/banner.l text/x-lisp root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/theories/ root:root 0o755
/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/prim_rec.th text/plain root:root 0o644 13.1 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/mk_arith_thms.ml text/plain root:root 0o644 71.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/bool.th text/plain root:root 0o644 17.7 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/ltree.th text/plain root:root 0o644 8.9 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_pair.ml text/plain root:root 0o644 3.6 KB
/usr/share/hol88-2.02.19940316/theories/PPLAMB.th text/plain root:root 0o644 242 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/sum.th text/plain root:root 0o644 6.9 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/tree.th text/plain root:root 0o644 6.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/tydefs.th text/plain root:root 0o644 3.7 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/mk_tree.ml text/plain root:root 0o644 39.4 KB
/usr/share/hol88-2.02.19940316/theories/HOL.th text/plain root:root 0o644 371 bytes
/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_list_thm2.ml text/plain root:root 0o644 99.1 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_BASIC-HOL.ml text/plain root:root 0o644 4.7 KB
/usr/share/hol88-2.02.19940316/theories/ind.th text/plain root:root 0o644 598 bytes
/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_num.ml text/plain root:root 0o644 9.0 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/mk_list_defs.ml text/plain root:root 0o644 26.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/mk_list_thms.ml text/plain root:root 0o644 18.3 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/mk_list.ml text/plain root:root 0o644 10.6 KB
/usr/share/hol88-2.02.19940316/theories/arithmetic.th text/plain root:root 0o644 57.4 KB
/usr/share/hol88-2.02.19940316/theories/num.th text/plain root:root 0o644 3.5 KB