hol88-contrib-source 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / contrib / HOLproof

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/HOLproof/ is in hol88-contrib-source 2.02.19940316-35.

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

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Derived/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Derived/mk_derived1.ml text/plain root:root 0o644 2.4 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Derived/mk_derived2.ml text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Inference/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Inference/mk_inference1.ml text/plain root:root 0o644 7.3 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proof/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proof/mk_proof1.ml text/plain root:root 0o644 4.6 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proof/mk_proof2.ml text/plain root:root 0o644 4.3 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proof/mk_proof3.ml text/plain root:root 0o644 14.8 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proof/proof_convs.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proofaux/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proofaux/mk_proofaux1.ml text/plain root:root 0o644 4.7 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Proofaux/mk_proofaux2.ml text/plain root:root 0o644 10.0 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Pterm/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Pterm/mk_Pterm1.ml text/plain root:root 0o644 12.5 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Pterm/mk_Pterm2.ml text/plain root:root 0o644 12.5 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Rules/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Rules/mk_proof_pretty.ml text/plain root:root 0o644 5.4 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Rules/mk_proof_rules1.ml text/plain root:root 0o644 26.7 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Rules/mk_proof_rules2.ml text/plain root:root 0o644 53.0 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Rules/mk_proof_rules_test.ml text/plain root:root 0o644 21.4 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Type/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Type/Type_convs.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Type/mk_Type1.ml text/plain root:root 0o644 5.6 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Type/mk_Type2.ml text/plain root:root 0o644 4.6 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/Type/mk_Type3.ml text/plain root:root 0o644 8.3 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/defs/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/defs/defs.ml text/plain root:root 0o644 7.6 KB
/usr/share/hol88-2.02.19940316/contrib/HOLproof/defs/ld_pair.ml text/plain root:root 0o644 22 bytes
/usr/share/hol88-2.02.19940316/contrib/HOLproof/hol-init.ml text/plain root:root 0o644 145 bytes
/usr/share/hol88-2.02.19940316/contrib/HOLproof/ld_proof.ml text/plain root:root 0o644 846 bytes
/usr/share/hol88-2.02.19940316/contrib/HOLproof/mk_proof.ml text/plain root:root 0o644 873 bytes

APT Browse - Built by Thomas Orozco.