/usr/share/hol88-2.02.19940316/help/THEOREMS/one/ 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/one/one.doc
|
text/plain | root:root | 0o644 | 44 bytes |
/usr/share/hol88-2.02.19940316/help/THEOREMS/one/one_Axiom.doc
|
text/plain | root:root | 0o644 | 60 bytes |
/usr/share/hol88-2.02.19940316/help/THEOREMS/one/one_DEF.doc
|
text/plain | root:root | 0o644 | 50 bytes |
/usr/share/hol88-2.02.19940316/help/THEOREMS/one/one_TY_DEF.doc
|
text/plain | root:root | 0o644 | 71 bytes |
/usr/share/hol88-2.02.19940316/help/THEOREMS/one/one_axiom.doc
|
text/plain | root:root | 0o644 | 50 bytes |