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

This file is indexed.

/usr/share/hol88-2.02.19940316/theories/ 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/theories/BASIC-HOL.th text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/theories/HOL.th text/plain root:root 0o644 371 bytes
/usr/share/hol88-2.02.19940316/theories/PPLAMB.th text/plain root:root 0o644 242 bytes
/usr/share/hol88-2.02.19940316/theories/arithmetic.th text/plain root:root 0o644 57.4 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/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_BASIC-HOL.ml text/plain root:root 0o644 4.7 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_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_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.ml text/plain root:root 0o644 10.6 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_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_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/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.