/usr/share/hol88-2.02.19940316/Library/reals/

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/reals/ 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/reals/load_reals.ml`	text/plain	root:root	0o644	407 bytes
`/usr/share/hol88-2.02.19940316/Library/reals/reals.ml`	text/plain	root:root	0o644	2.5 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/Library/reals/theories/autoload_reals.ml`	text/plain	root:root	0o644	14.3 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/equiv.ml`	text/plain	root:root	0o644	8.2 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/hrat.ml`	text/plain	root:root	0o644	13.9 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/hreal.ml`	text/plain	root:root	0o644	40.5 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/lim.ml`	text/plain	root:root	0o644	65.8 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/nets.ml`	text/plain	root:root	0o644	28.8 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/powser.ml`	text/plain	root:root	0o644	29.2 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/real.ml`	text/plain	root:root	0o644	88.5 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/realax.ml`	text/plain	root:root	0o644	27.3 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/seq.ml`	text/plain	root:root	0o644	66.6 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/topology.ml`	text/plain	root:root	0o644	20.4 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/transc.ml`	text/plain	root:root	0o644	78.1 KB
`/usr/share/hol88-2.02.19940316/Library/reals/theories/useful.ml`	text/plain	root:root	0o644	7.5 KB