/usr/share/hol88-2.02.19940316/Library/arith/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/arith/ is in hol88-library-source 2.02.19940316-31.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/hol88-2.02.19940316/Library/arith/arith.ml`	text/plain	root:root	0o644	3.5 KB
`/usr/share/hol88-2.02.19940316/Library/arith/arith_cons.ml`	text/plain	root:root	0o644	7.3 KB
`/usr/share/hol88-2.02.19940316/Library/arith/decls.ml`	text/plain	root:root	0o644	3.3 KB
`/usr/share/hol88-2.02.19940316/Library/arith/exists_arith.ml`	text/plain	root:root	0o644	5.6 KB
`/usr/share/hol88-2.02.19940316/Library/arith/gen_arith.ml`	text/plain	root:root	0o644	8.0 KB
`/usr/share/hol88-2.02.19940316/Library/arith/instance.ml`	text/plain	root:root	0o644	2.3 KB
`/usr/share/hol88-2.02.19940316/Library/arith/int_extra.ml`	text/plain	root:root	0o644	2.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/norm_arith.ml`	text/plain	root:root	0o644	24.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/norm_bool.ml`	text/plain	root:root	0o644	6.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/norm_ineqs.ml`	text/plain	root:root	0o644	7.5 KB
`/usr/share/hol88-2.02.19940316/Library/arith/prenex.ml`	text/plain	root:root	0o644	3.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/qconv.ml`	text/plain	root:root	0o644	9.2 KB
`/usr/share/hol88-2.02.19940316/Library/arith/rationals.ml`	text/plain	root:root	0o644	7.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/sol_ranges.ml`	text/plain	root:root	0o644	7.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/solve.ml`	text/plain	root:root	0o644	8.8 KB
`/usr/share/hol88-2.02.19940316/Library/arith/solve_ineqs.ml`	text/plain	root:root	0o644	18.2 KB
`/usr/share/hol88-2.02.19940316/Library/arith/streams.ml`	text/plain	root:root	0o644	3.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/string_extra.ml`	text/plain	root:root	0o644	1.7 KB
`/usr/share/hol88-2.02.19940316/Library/arith/sub_and_cond.ml`	text/plain	root:root	0o644	5.0 KB
`/usr/share/hol88-2.02.19940316/Library/arith/sup-inf.ml`	text/plain	root:root	0o644	16.1 KB
`/usr/share/hol88-2.02.19940316/Library/arith/term_coeffs.ml`	text/plain	root:root	0o644	12.4 KB
`/usr/share/hol88-2.02.19940316/Library/arith/theorems.ml`	text/plain	root:root	0o644	6.8 KB
`/usr/share/hol88-2.02.19940316/Library/arith/thm_convs.ml`	text/plain	root:root	0o644	6.7 KB

hol88-library-source 2.02.19940316-31 / usr / share / hol88-2.02.19940316 / Library / arith