/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/ is in hol88-contrib-source 2.02.19940316-19.

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

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/ABBREV_TAC.ml`	text/plain	root:root	0o644	2.4 KB
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/BINDER_EQ_TAC.ml`	text/plain	root:root	0o644	2.5 KB
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/COND_CASES_THEN.ml`	text/plain	root:root	0o644	888 bytes
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/CONJUNCTS_TAC.ml`	text/plain	root:root	0o644	79 bytes
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/EXISTS_PERM_LIST.ml`	text/plain	root:root	0o644	2.7 KB
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/MOVE_EXISTS_OUT_CONV.ml`	text/plain	root:root	0o644	779 bytes
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/RATOR_RAND_CONV.ml`	text/plain	root:root	0o644	840 bytes
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/SELECT_UNIQUE.ml`	text/plain	root:root	0o644	1.6 KB
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/SPLIT_CONJUNCTS.ml`	text/plain	root:root	0o644	4.3 KB
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/SYM.ml`	text/plain	root:root	0o644	325 bytes
`/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/load_all.ml`	text/plain	root:root	0o644	598 bytes