Bestandenoverzicht voor pakket hol88-source in squeeze voor het platform all

/usr/share/doc/hol88-source/changelog.Debian.gz
/usr/share/doc/hol88-source/copyright
/usr/share/hol88-2.02.19940316/lisp/akcl.l
/usr/share/hol88-2.02.19940316/lisp/banner.l
/usr/share/hol88-2.02.19940316/lisp/constp.l
/usr/share/hol88-2.02.19940316/lisp/f-cl.l
/usr/share/hol88-2.02.19940316/lisp/f-constants.l
/usr/share/hol88-2.02.19940316/lisp/f-dml.l
/usr/share/hol88-2.02.19940316/lisp/f-format.l
/usr/share/hol88-2.02.19940316/lisp/f-franz.l
/usr/share/hol88-2.02.19940316/lisp/f-freadth.l
/usr/share/hol88-2.02.19940316/lisp/f-gp.l
/usr/share/hol88-2.02.19940316/lisp/f-help.l
/usr/share/hol88-2.02.19940316/lisp/f-inst.l
/usr/share/hol88-2.02.19940316/lisp/f-iox-stand.l
/usr/share/hol88-2.02.19940316/lisp/f-lis.l
/usr/share/hol88-2.02.19940316/lisp/f-macro.l
/usr/share/hol88-2.02.19940316/lisp/f-mlprin.l
/usr/share/hol88-2.02.19940316/lisp/f-obj.l
/usr/share/hol88-2.02.19940316/lisp/f-ol-net.l
/usr/share/hol88-2.02.19940316/lisp/f-ol-rec.l
/usr/share/hol88-2.02.19940316/lisp/f-ol-syntax.l
/usr/share/hol88-2.02.19940316/lisp/f-parser.l
/usr/share/hol88-2.02.19940316/lisp/f-parsml.l
/usr/share/hol88-2.02.19940316/lisp/f-parsol.l
/usr/share/hol88-2.02.19940316/lisp/f-simpl.l
/usr/share/hol88-2.02.19940316/lisp/f-site.l
/usr/share/hol88-2.02.19940316/lisp/f-subst.l
/usr/share/hol88-2.02.19940316/lisp/f-system.l
/usr/share/hol88-2.02.19940316/lisp/f-thyfns.l
/usr/share/hol88-2.02.19940316/lisp/f-tml.l
/usr/share/hol88-2.02.19940316/lisp/f-tran.l
/usr/share/hol88-2.02.19940316/lisp/f-typeml.l
/usr/share/hol88-2.02.19940316/lisp/f-typeol.l
/usr/share/hol88-2.02.19940316/lisp/f-writml.l
/usr/share/hol88-2.02.19940316/lisp/f-writol.l
/usr/share/hol88-2.02.19940316/lisp/genfns.l
/usr/share/hol88-2.02.19940316/lisp/genmacs.l
/usr/share/hol88-2.02.19940316/lisp/gnt.l
/usr/share/hol88-2.02.19940316/lisp/hol-pars.l
/usr/share/hol88-2.02.19940316/lisp/hol-writ.l
/usr/share/hol88-2.02.19940316/lisp/mk-hol-lcf.l
/usr/share/hol88-2.02.19940316/lisp/mk-ml.l
/usr/share/hol88-2.02.19940316/lisp/mk_pp_thm.l
/usr/share/hol88-2.02.19940316/lisp/parse_as_binder.l
/usr/share/hol88-2.02.19940316/lisp/parslet.l
/usr/share/hol88-2.02.19940316/lisp/parslist.l
/usr/share/hol88-2.02.19940316/ml/abs-rep.ml
/usr/share/hol88-2.02.19940316/ml/conv.ml
/usr/share/hol88-2.02.19940316/ml/drul.ml
/usr/share/hol88-2.02.19940316/ml/gen.ml
/usr/share/hol88-2.02.19940316/ml/genfns.ml
/usr/share/hol88-2.02.19940316/ml/goals.ml
/usr/share/hol88-2.02.19940316/ml/hol-drule.ml
/usr/share/hol88-2.02.19940316/ml/hol-in-out.ml
/usr/share/hol88-2.02.19940316/ml/hol-net.ml
/usr/share/hol88-2.02.19940316/ml/hol-rule.ml
/usr/share/hol88-2.02.19940316/ml/hol-syn.ml
/usr/share/hol88-2.02.19940316/ml/hol-thyfn.ml
/usr/share/hol88-2.02.19940316/ml/ind.ml
/usr/share/hol88-2.02.19940316/ml/killpp.ml
/usr/share/hol88-2.02.19940316/ml/lcf-net.ml
/usr/share/hol88-2.02.19940316/ml/lib_loader.ml
/usr/share/hol88-2.02.19940316/ml/lis.ml
/usr/share/hol88-2.02.19940316/ml/list.ml
/usr/share/hol88-2.02.19940316/ml/load_thms.ml
/usr/share/hol88-2.02.19940316/ml/ml-curry.ml
/usr/share/hol88-2.02.19940316/ml/new-tactics.ml
/usr/share/hol88-2.02.19940316/ml/num.ml
/usr/share/hol88-2.02.19940316/ml/numconv.ml
/usr/share/hol88-2.02.19940316/ml/prim_rec.ml
/usr/share/hol88-2.02.19940316/ml/resolve.ml
/usr/share/hol88-2.02.19940316/ml/rewrite.ml
/usr/share/hol88-2.02.19940316/ml/site.ml
/usr/share/hol88-2.02.19940316/ml/stack.ml
/usr/share/hol88-2.02.19940316/ml/tacont.ml
/usr/share/hol88-2.02.19940316/ml/tacticals.ml
/usr/share/hol88-2.02.19940316/ml/tactics.ml
/usr/share/hol88-2.02.19940316/ml/tydefs.ml
/usr/share/hol88-2.02.19940316/ml/tyfns.ml
/usr/share/hol88-2.02.19940316/theories/BASIC-HOL.th
/usr/share/hol88-2.02.19940316/theories/HOL.th
/usr/share/hol88-2.02.19940316/theories/PPLAMB.th
/usr/share/hol88-2.02.19940316/theories/arithmetic.th
/usr/share/hol88-2.02.19940316/theories/bool.th
/usr/share/hol88-2.02.19940316/theories/combin.th
/usr/share/hol88-2.02.19940316/theories/fun.th
/usr/share/hol88-2.02.19940316/theories/ind.th
/usr/share/hol88-2.02.19940316/theories/list.th
/usr/share/hol88-2.02.19940316/theories/ltree.th
/usr/share/hol88-2.02.19940316/theories/mk_BASIC-HOL.ml
/usr/share/hol88-2.02.19940316/theories/mk_PPLAMB.ml
/usr/share/hol88-2.02.19940316/theories/mk_arith.ml
/usr/share/hol88-2.02.19940316/theories/mk_arith_thms.ml
/usr/share/hol88-2.02.19940316/theories/mk_bool.ml
/usr/share/hol88-2.02.19940316/theories/mk_combin.ml
/usr/share/hol88-2.02.19940316/theories/mk_fun.ml
/usr/share/hol88-2.02.19940316/theories/mk_ind.ml
/usr/share/hol88-2.02.19940316/theories/mk_list.ml
/usr/share/hol88-2.02.19940316/theories/mk_list_defs.ml
/usr/share/hol88-2.02.19940316/theories/mk_list_thm2.ml
/usr/share/hol88-2.02.19940316/theories/mk_list_thms.ml
/usr/share/hol88-2.02.19940316/theories/mk_ltree.ml
/usr/share/hol88-2.02.19940316/theories/mk_num.ml
/usr/share/hol88-2.02.19940316/theories/mk_one.ml
/usr/share/hol88-2.02.19940316/theories/mk_pair.ml
/usr/share/hol88-2.02.19940316/theories/mk_prim_rec.ml
/usr/share/hol88-2.02.19940316/theories/mk_sum.ml
/usr/share/hol88-2.02.19940316/theories/mk_tree.ml
/usr/share/hol88-2.02.19940316/theories/mk_tydefs.ml
/usr/share/hol88-2.02.19940316/theories/num.th
/usr/share/hol88-2.02.19940316/theories/one.th
/usr/share/hol88-2.02.19940316/theories/prim_rec.th
/usr/share/hol88-2.02.19940316/theories/sum.th
/usr/share/hol88-2.02.19940316/theories/tree.th
/usr/share/hol88-2.02.19940316/theories/tydefs.th