hol88-help 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / help / THEOREMS / tree

This file is indexed.

/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/ is in hol88-help 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/help/THEOREMS/tree/AP.doc text/plain root:root 0o644 108 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/HT.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/Is_ltree.doc text/plain root:root 0o644 81 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/Is_tree_REP.doc text/plain root:root 0o644 111 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/Node.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/Node_11.doc text/plain root:root 0o644 119 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/Node_onto.doc text/plain root:root 0o644 67 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/PART.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/SPLIT.doc text/plain root:root 0o644 144 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/Size.doc text/plain root:root 0o644 88 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/bht.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/dest_node.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/ltree_Axiom.doc text/plain root:root 0o644 93 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/ltree_ISO_DEF.doc text/plain root:root 0o644 131 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/ltree_Induct.doc text/plain root:root 0o644 100 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/ltree_TY_DEF.doc text/plain root:root 0o644 78 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/node.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/node_11.doc text/plain root:root 0o644 83 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/node_REP.doc text/plain root:root 0o644 126 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/tree_Axiom.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/tree_ISO_DEF.doc text/plain root:root 0o644 128 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/tree_Induct.doc text/plain root:root 0o644 93 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/tree_TY_DEF.doc text/plain root:root 0o644 79 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/tree/trf.doc text/plain root:root 0o644 125 bytes

APT Browse - Built by Thomas Orozco.