hol88-contrib-source 2.02.19940316-14 / usr / share / hol88-2.02.19940316 / contrib / CSP

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/CSP/ is in hol88-contrib-source 2.02.19940316-14.

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

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/contrib/CSP/Makefile text/plain root:root 0o644 4.1 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/after.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/after_laws.ml text/plain root:root 0o644 4.4 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/boolarith1.ml text/plain root:root 0o644 4.3 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/boolarith2.ml text/plain root:root 0o644 5.2 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/choice.ml text/plain root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/csp.ml text/plain root:root 0o644 821 bytes
/usr/share/hol88-2.02.19940316/contrib/CSP/csp_syntax.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/list_lib1.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/mu.ml text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/order.ml text/plain root:root 0o644 3.0 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/par_laws.ml text/plain root:root 0o644 10.1 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/parallel.ml text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/prefix.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/process.ml text/plain root:root 0o644 162 bytes
/usr/share/hol88-2.02.19940316/contrib/CSP/process_fix.ml text/plain root:root 0o644 5.8 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/process_ty.ml text/plain root:root 0o644 5.0 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/restrict.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/rules_and_tacs.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/run.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/star.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/stop.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/CSP/traces.ml text/plain root:root 0o644 4.0 KB

APT Browse - Built by Thomas Orozco.