This file is indexed.

/usr/share/hol88-2.02.19940316/Library/parser/Examples/ is in hol88-library-source 2.02.19940316-15.

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

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/loader.ml text/plain root:root 0o644 972 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/term.ml text/plain root:root 0o644 79.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/term_decls.ml text/plain root:root 0o644 10.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/term_help.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/type.ml text/plain root:root 0o644 14.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/HOL/type_decls.ml text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_1.ml text/plain root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_10.ml text/plain root:root 0o644 34.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_10_decls.ml text/plain root:root 0o644 5.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_11.ml text/plain root:root 0o644 17.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_11_decls.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_1_decls.ml text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_2.ml text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_2_decls.ml text/plain root:root 0o644 488 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_3.ml text/plain root:root 0o644 9.5 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_3_decls.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_4.ml text/plain root:root 0o644 20.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_4_decls.ml text/plain root:root 0o644 3.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_5.ml text/plain root:root 0o644 21.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_5_decls.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_6.ml text/plain root:root 0o644 12.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_6_decls.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_7.ml text/plain root:root 0o644 20.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_7_decls.ml text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_8.ml text/plain root:root 0o644 47.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_8_decls.ml text/plain root:root 0o644 6.5 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_9.ml text/plain root:root 0o644 36.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/A1_9_decls.ml text/plain root:root 0o644 6.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/PP_command.ml text/plain root:root 0o644 142 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/PP_printer.ml text/plain root:root 0o644 35.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/full-ella.ml text/plain root:root 0o644 82.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/general.ml text/plain root:root 0o644 5.2 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/loader.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/v1_help.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/ella/version0_PP.ml text/plain root:root 0o644 14.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/examples.ml text/plain root:root 0o644 14.6 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/loader.ml text/plain root:root 0o644 564 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/tiny.ml text/plain root:root 0o644 33.1 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/tiny_decls.ml text/plain root:root 0o644 5.3 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/tiny/tiny_help.ml text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/blocks.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/blocks_decls.ml text/plain root:root 0o644 502 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/blocks/loader.ml text/plain root:root 0o644 292 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/bool.ml text/plain root:root 0o644 7.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/bool_decls.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/bool/loader.ml text/plain root:root 0o644 288 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/loader.ml text/plain root:root 0o644 475 bytes
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/types.ml text/plain root:root 0o644 15.4 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/types_decls.ml text/plain root:root 0o644 3.9 KB
/usr/share/hol88-2.02.19940316/Library/parser/Examples/user_guide/types/types_help.ml text/plain root:root 0o644 508 bytes