/usr/share/hol88-2.02.19940316/contrib/UNITY/

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/UNITY/ 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/UNITY/Makefile`	text/x-makefile	root:root	0o644	3.3 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/aux_definitions.ml`	text/plain	root:root	0o644	1.6 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/`		root:root	0o755
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/Makefile`	text/x-makefile	root:root	0o644	1.4 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/hol-init.ml`	text/plain	root:root	0o644	164 bytes
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/l_unity.ml`	text/plain	root:root	0o644	277 bytes
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/mk_example01.ml`	text/plain	root:root	0o644	15.4 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/mk_example02.ml`	text/plain	root:root	0o644	23.3 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/examples/mk_example03.ml`	text/plain	root:root	0o644	93.7 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/l_unity.ml`	text/plain	root:root	0o644	689 bytes
`/usr/share/hol88-2.02.19940316/contrib/UNITY/leadsto_induct0.ml`	text/plain	root:root	0o644	2.8 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_comp_unity.ml`	text/plain	root:root	0o644	19.3 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_ensures.ml`	text/plain	root:root	0o644	21.2 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_gen_induct.ml`	text/plain	root:root	0o644	3.3 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_leadsto.ml`	text/plain	root:root	0o644	143.4 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_state_logic.ml`	text/plain	root:root	0o644	33.6 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_unity_prog.ml`	text/plain	root:root	0o644	2.4 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_unless.ml`	text/plain	root:root	0o644	41.0 KB
`/usr/share/hol88-2.02.19940316/contrib/UNITY/mk_until.ml`	text/plain	root:root	0o644	1.8 KB

hol88-contrib-source 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / contrib / UNITY