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

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/prog_logic92/ 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_logic92/Library/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/Library/half.ml text/plain root:root 0o644 23.1 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/Library/imp.ml text/plain root:root 0o644 19.8 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/Library/rew.ml text/plain root:root 0o644 8.7 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/Library/rew_2.0.ml text/plain root:root 0o644 9.0 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/Makefile text/plain root:root 0o644 2.9 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/arith_hack.ml text/plain root:root 0o644 7.6 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/cpo.ml text/plain root:root 0o644 6.6 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/exseq.ml text/plain root:root 0o644 71.2 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/hoare.ml text/plain root:root 0o644 24.6 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/hol-init.ml text/plain root:root 0o644 849 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/inv.ml text/plain root:root 0o644 17.5 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_arith_hack.ml text/plain root:root 0o644 231 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_cpo.ml text/plain root:root 0o644 210 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_exseq.ml text/plain root:root 0o644 321 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_hoare.ml text/plain root:root 0o644 241 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_inv.ml text/plain root:root 0o644 235 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_lnum.ml text/plain root:root 0o644 524 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_pred.ml text/plain root:root 0o644 237 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_sem.ml text/plain root:root 0o644 447 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_temporal.ml text/plain root:root 0o644 250 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/l_wp.ml text/plain root:root 0o644 231 bytes
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/lnum.ml text/plain root:root 0o644 46.3 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/mytactics.ml text/plain root:root 0o644 9.0 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/pred.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/sem.ml text/plain root:root 0o644 18.2 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/temporal.ml text/plain root:root 0o644 9.1 KB
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/wp.ml text/plain root:root 0o644 47.3 KB

APT Browse - Built by Thomas Orozco.