This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/SECD/ 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/SECD/CU_proofs.ml text/plain root:root 0o644 30.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/CU_wordn_proofs.ml text/plain root:root 0o644 2.7 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/DP_proofs.ml text/plain root:root 0o644 7.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/Inc9_proofs.ml text/plain root:root 0o644 6.7 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/Makefile text/x-makefile root:root 0o644 15.7 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/SECD_proofs.ml text/plain root:root 0o644 14.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/SYS_proofs.ml text/plain root:root 0o644 32.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/TACTICS/ root:root 0o755
/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
/usr/share/hol88-2.02.19940316/contrib/SECD/abstract_mem_type.ml text/plain root:root 0o644 24.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/buses/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/SECD/buses/Makefile text/x-makefile root:root 0o644 737 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/buses/bus_theorems.ml text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/buses/hol-init.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/buses/mk_bus_theorems.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/constraints.ml text/plain root:root 0o644 43.5 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness.ml text/plain root:root 0o644 14.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_ADD.ml text/plain root:root 0o644 9.5 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_AP.ml text/plain root:root 0o644 11.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_ATOM.ml text/plain root:root 0o644 8.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_CAR.ml text/plain root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_CDR.ml text/plain root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_CONS.ml text/plain root:root 0o644 8.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_DUM.ml text/plain root:root 0o644 7.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_EQ.ml text/plain root:root 0o644 9.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_JOIN.ml text/plain root:root 0o644 7.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_LD.ml text/plain root:root 0o644 13.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_LDC.ml text/plain root:root 0o644 8.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_LDF.ml text/plain root:root 0o644 8.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_LEQ.ml text/plain root:root 0o644 9.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_RAP.ml text/plain root:root 0o644 18.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_RTN.ml text/plain root:root 0o644 9.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_SEL.ml text/plain root:root 0o644 17.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_STOP.ml text/plain root:root 0o644 7.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_SUB.ml text/plain root:root 0o644 9.5 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_init.ml text/plain root:root 0o644 13.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/correctness_misc.ml text/plain root:root 0o644 60.3 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/cu_types.ml text/plain root:root 0o644 5.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/dp_types.ml text/plain root:root 0o644 17.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/hol-init.ml text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/interface.ml text/plain root:root 0o644 10.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/io.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/liveness.ml text/plain root:root 0o644 8.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/loop_proofs.ml text/plain root:root 0o644 22.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mem_abs.ml text/plain root:root 0o644 30.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/microcode.ml text/plain root:root 0o644 10.6 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/modulo_ops.ml text/plain root:root 0o644 21.6 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_ADD.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_AP.ml text/plain root:root 0o644 6.2 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_ATOM.ml text/plain root:root 0o644 358 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_CAR.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_CDR.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_CONS.ml text/plain root:root 0o644 358 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_DUM.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_EQ.ml text/plain root:root 0o644 344 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_JOIN.ml text/plain root:root 0o644 358 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_LD.ml text/plain root:root 0o644 8.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_LD1.ml text/plain root:root 0o644 6.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_LD2.ml text/plain root:root 0o644 21.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_LDC.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_LDF.ml text/plain root:root 0o644 352 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_LEQ.ml text/plain root:root 0o644 338 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_RAP.ml text/plain root:root 0o644 6.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_RTN.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_SEL.ml text/plain root:root 0o644 351 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_STOP.ml text/plain root:root 0o644 359 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_SUB.ml text/plain root:root 0o644 350 bytes
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_init_proofs.ml text/plain root:root 0o644 5.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_level.ml text/plain root:root 0o644 6.6 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_proof0.ml text/plain root:root 0o644 5.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_proof_fcn.ml text/plain root:root 0o644 20.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/mu-prog_sr_proofs.ml text/plain root:root 0o644 16.5 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas1.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas2.ml text/plain root:root 0o644 1.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas3.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas4.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas5.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas6.ml text/plain root:root 0o644 5.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_lemmas7.ml text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_proof_fcn.ml text/plain root:root 0o644 14.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/phase_template.ml text/plain root:root 0o644 5.7 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/rt_CU.ml text/plain root:root 0o644 14.4 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/rt_DP.ml text/plain root:root 0o644 16.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/rt_PADS.ml text/plain root:root 0o644 6.7 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/rt_SECD.ml text/plain root:root 0o644 6.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/rt_SYS.ml text/plain root:root 0o644 5.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/simplify.ml text/plain root:root 0o644 19.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/top_SECD.ml text/plain root:root 0o644 30.3 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/val_defs.ml text/plain root:root 0o644 1.8 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/val_theorems.ml text/plain root:root 0o644 31.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/when.ml text/plain root:root 0o644 14.9 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/wordn/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/SECD/wordn/Makefile text/x-makefile root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/wordn/bus.ml text/plain root:root 0o644 3.6 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/wordn/mk_bus.ml text/plain root:root 0o644 4.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/wordn/mk_wordn.ml text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/contrib/SECD/wordn/wordn.ml text/plain root:root 0o644 30.0 KB