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

This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/RefCalc/ 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/RefCalc/Actsys/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/RCactsys_convs.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/RCactsys_ex1.ml text/plain root:root 0o644 3.7 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/RCactsys_ex2.ml text/plain root:root 0o644 4.1 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/RCactsys_ex3.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/ld_RCactsys.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/mk_RCactsys.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/mk_RCactsys1.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Actsys/mk_RCactsys2.ml text/plain root:root 0o644 13.1 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/RCbounded_convs.ml text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/RCbounded_ex1.ml text/plain root:root 0o644 3.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/ld_RCbounded.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/mk_RCbounded.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/mk_RCbounded1.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/mk_RCbounded2.ml text/plain root:root 0o644 6.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/mk_RCbounded3.ml text/plain root:root 0o644 10.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Bounded/mk_RCbounded4.ml text/plain root:root 0o644 11.0 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/RCcommand_convs.ml text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/RCcommand_ex1.ml text/plain root:root 0o644 870 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/ld_RCcommand.ml text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/mk_RCcommand.ml text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/mk_RCcommand1.ml text/plain root:root 0o644 3.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/mk_RCcommand2.ml text/plain root:root 0o644 7.0 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/mk_RCcommand3.ml text/plain root:root 0o644 4.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Command/mk_RCcommand4.ml text/plain root:root 0o644 20.1 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Correct/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Correct/RCcorrect_convs.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Correct/RCcorrect_ex1.ml text/plain root:root 0o644 3.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Correct/ld_RCcorrect.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Correct/mk_RCcorrect.ml text/plain root:root 0o644 7.8 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/RCdataref_convs.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/RCdataref_ex1.ml text/plain root:root 0o644 7.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/ld_RCdataref.ml text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/mk_RCdataref.ml text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/mk_RCdataref1.ml text/plain root:root 0o644 615 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Dataref/mk_RCdataref2.ml text/plain root:root 0o644 9.9 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Example/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Example/RCex_lang.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Function/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Function/RCfunction_ex1.ml text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Function/ld_RCfunction.ml text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Function/mk_RCfunction.ml text/plain root:root 0o644 5.7 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/RCpredicate_convs.ml text/plain root:root 0o644 444 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/RCpredicate_ex1.ml text/plain root:root 0o644 274 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/ld_RCpredicate.ml text/plain root:root 0o644 870 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/mk_RCpredicate.ml text/plain root:root 0o644 731 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/mk_RCpredicate1.ml text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Predicate/mk_RCpredicate2.ml text/plain root:root 0o644 8.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Procedure/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Procedure/RCprocedure_convs.ml text/plain root:root 0o644 8.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Procedure/RCprocedure_ex1.ml text/plain root:root 0o644 7.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Procedure/ld_RCprocedure.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Procedure/mk_RCprocedure.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Recursion/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Recursion/RCrecursion_convs.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Recursion/ld_RCrecursion.ml text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Recursion/mk_RCrecursion.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Recursion/mk_RCrecursion1.ml text/plain root:root 0o644 13.1 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Recursion/mk_RCrecursion2.ml text/plain root:root 0o644 1.5 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Refine/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Refine/ld_RCrefine.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Refine/mk_RCrefine.ml text/plain root:root 0o644 6.7 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wellf/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wellf/ld_RCwellf.ml text/plain root:root 0o644 436 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wellf/mk_RCwellf.ml text/plain root:root 0o644 4.8 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/RCwintool_defs.ml text/plain root:root 0o644 13.0 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/RCwintool_ex1.ml text/plain root:root 0o644 978 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/RCwintool_ex2.ml text/plain root:root 0o644 939 bytes
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/RCwintool_ex3.ml text/plain root:root 0o644 6.4 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/ld_RCwintool.ml text/plain root:root 0o644 1.6 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/mk_RCwintool.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/mk_RCwintool1.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/mk_RCwintool2.ml text/plain root:root 0o644 3.3 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/Wintool/mk_RCwintool3.ml text/plain root:root 0o644 5.9 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/defs/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/defs/defs.ml text/plain root:root 0o644 7.2 KB
/usr/share/hol88-2.02.19940316/contrib/RefCalc/hol-init.ml text/plain root:root 0o644 60 bytes

APT Browse - Built by Thomas Orozco.