/usr/share/hol88-2.02.19940316/contrib/boyer-moore/

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/boyer-moore/ is in hol88-contrib-source 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/contrib/boyer-moore/Makefile`	text/plain	root:root	0o644	5.5 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/boyer-moore.ml`	text/plain	root:root	0o644	414 bytes
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/clausal_form.ml`	text/plain	root:root	0o644	16.3 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/definitions.ml`	text/plain	root:root	0o644	7.2 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/environment.ml`	text/plain	root:root	0o644	11.2 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/equalities.ml`	text/plain	root:root	0o644	10.1 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/generalize.ml`	text/plain	root:root	0o644	14.3 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/induction.ml`	text/plain	root:root	0o644	8.8 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/irrelevance.ml`	text/plain	root:root	0o644	13.3 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/main.ml`	text/plain	root:root	0o644	7.4 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/rewrite_rules.ml`	text/plain	root:root	0o644	17.5 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/shells.ml`	text/plain	root:root	0o644	14.9 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/struct_equal.ml`	text/plain	root:root	0o644	17.5 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/support.ml`	text/plain	root:root	0o644	5.4 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/terms_and_clauses.ml`	text/plain	root:root	0o644	39.5 KB
`/usr/share/hol88-2.02.19940316/contrib/boyer-moore/waterfall.ml`	text/plain	root:root	0o644	28.0 KB