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

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/prog_logic88/ 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/prog_logic88/Makefile text/plain root:root 0o644 6.5 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/autoload.ml text/plain root:root 0o644 494 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/examples.ml text/plain root:root 0o644 13.4 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/halts_logic.ml text/plain root:root 0o644 10.9 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/halts_vc_gen.ml text/plain root:root 0o644 8.7 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/hoare_logic.ml text/plain root:root 0o644 9.6 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/hol_match.ml text/plain root:root 0o644 4.3 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/load_prog_logic88.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_dijkstra.ml text/plain root:root 0o644 23.8 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_dynamic_logic.ml text/plain root:root 0o644 3.6 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_halts.ml text/plain root:root 0o644 11.1 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_halts_logic.ml text/plain root:root 0o644 123 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_halts_thms.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_hoare_thms.ml text/plain root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_prog_logic88.ml text/plain root:root 0o644 251 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/mk_semantics.ml text/plain root:root 0o644 3.0 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/prog_logic88.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/syntax_functions.ml text/plain root:root 0o644 12.8 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/vc_gen.ml text/plain root:root 0o644 5.9 KB

APT Browse - Built by Thomas Orozco.