hol88-source 2.02.19940316-28 / usr / share / hol88-2.02.19940316 / lisp

This file is indexed.

/usr/share/hol88-2.02.19940316/lisp/ 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/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

APT Browse - Built by Thomas Orozco.