/usr/share/hol-light/ is in hol-light 20170706-0ubuntu4.
This file is owned by root:root, with mode 0o755.
There are a lot of files here (1559 total).
We're only showing the immediate contents of /usr/share/hol-light.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/hol-light/.pc/
|
root:root | 0o755 | ||
/usr/share/hol-light/100/
|
root:root | 0o755 | ||
/usr/share/hol-light/Arithmetic/
|
root:root | 0o755 | ||
/usr/share/hol-light/Boyer_Moore/
|
root:root | 0o755 | ||
/usr/share/hol-light/Complex/
|
root:root | 0o755 | ||
/usr/share/hol-light/Examples/
|
root:root | 0o755 | ||
/usr/share/hol-light/Formal_ineqs/
|
root:root | 0o755 | ||
/usr/share/hol-light/Functionspaces/
|
root:root | 0o755 | ||
/usr/share/hol-light/Help/
|
root:root | 0o755 | ||
/usr/share/hol-light/IEEE/
|
root:root | 0o755 | ||
/usr/share/hol-light/IsabelleLight/
|
root:root | 0o755 | ||
/usr/share/hol-light/Jordan/
|
root:root | 0o755 | ||
/usr/share/hol-light/LP_arith/
|
root:root | 0o755 | ||
/usr/share/hol-light/Library/
|
root:root | 0o755 | ||
/usr/share/hol-light/Minisat/
|
root:root | 0o755 | ||
/usr/share/hol-light/Mizarlight/
|
root:root | 0o755 | ||
/usr/share/hol-light/Model/
|
root:root | 0o755 | ||
/usr/share/hol-light/Multivariate/
|
root:root | 0o755 | ||
/usr/share/hol-light/Ntrie/
|
root:root | 0o755 | ||
/usr/share/hol-light/Permutation/
|
root:root | 0o755 | ||
/usr/share/hol-light/Proofrecording/
|
root:root | 0o755 | ||
/usr/share/hol-light/QBF/
|
root:root | 0o755 | ||
/usr/share/hol-light/Quaternions/
|
root:root | 0o755 | ||
/usr/share/hol-light/RichterHilbertAxiomGeometry/
|
root:root | 0o755 | ||
/usr/share/hol-light/Rqe/
|
root:root | 0o755 | ||
/usr/share/hol-light/Tutorial/
|
root:root | 0o755 | ||
/usr/share/hol-light/Unity/
|
root:root | 0o755 | ||
/usr/share/hol-light/arith.ml
|
text/plain | root:root | 0o644 | 62.5 KB |
/usr/share/hol-light/basics.ml
|
text/plain | root:root | 0o644 | 16.1 KB |
/usr/share/hol-light/bool.ml
|
text/plain | root:root | 0o644 | 17.2 KB |
/usr/share/hol-light/calc_int.ml
|
text/plain | root:root | 0o644 | 14.7 KB |
/usr/share/hol-light/calc_num.ml
|
text/plain | root:root | 0o644 | 66.2 KB |
/usr/share/hol-light/calc_rat.ml
|
text/plain | root:root | 0o644 | 27.5 KB |
/usr/share/hol-light/canon.ml
|
text/plain | root:root | 0o644 | 33.1 KB |
/usr/share/hol-light/cart.ml
|
text/plain | root:root | 0o644 | 24.2 KB |
/usr/share/hol-light/class.ml
|
text/plain | root:root | 0o644 | 19.6 KB |
/usr/share/hol-light/database.ml
|
text/plain | root:root | 0o644 | 78.0 KB |
/usr/share/hol-light/define.ml
|
text/plain | root:root | 0o644 | 44.4 KB |
/usr/share/hol-light/doc-to-help.sed
|
text/x-tex | root:root | 0o644 | 971 bytes |
/usr/share/hol-light/drule.ml
|
text/plain | root:root | 0o644 | 20.2 KB |
/usr/share/hol-light/equal.ml
|
text/plain | root:root | 0o644 | 12.1 KB |
/usr/share/hol-light/fusion.ml
|
text/x-ruby | root:root | 0o644 | 27.8 KB |
/usr/share/hol-light/grobner.ml
|
text/plain | root:root | 0o644 | 31.4 KB |
/usr/share/hol-light/help.ml
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/hol-light/hol.ml
|
text/plain | root:root | 0o644 | 9.0 KB |
/usr/share/hol-light/holtest
|
text/x-shellscript | root:root | 0o755 | 15.2 KB |
/usr/share/hol-light/holtest.mk
|
text/plain | root:root | 0o644 | 6.1 KB |
/usr/share/hol-light/holtest_parallel
|
text/x-shellscript | root:root | 0o755 | 1.3 KB |
/usr/share/hol-light/impconv.ml
|
text/plain | root:root | 0o644 | 64.6 KB |
/usr/share/hol-light/ind_defs.ml
|
text/plain | root:root | 0o644 | 19.9 KB |
/usr/share/hol-light/ind_types.ml
|
text/plain | root:root | 0o644 | 70.6 KB |
/usr/share/hol-light/int.ml
|
text/plain | root:root | 0o644 | 63.6 KB |
/usr/share/hol-light/itab.ml
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/hol-light/iterate.ml
|
text/plain | root:root | 0o644 | 104.5 KB |
/usr/share/hol-light/lib.ml
|
text/plain | root:root | 0o644 | 28.7 KB |
/usr/share/hol-light/lists.ml
|
text/plain | root:root | 0o644 | 28.2 KB |
/usr/share/hol-light/make.ml
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/hol-light/meson.ml
|
text/plain | root:root | 0o644 | 35.9 KB |
/usr/share/hol-light/metis.ml
|
text/x-ruby | root:root | 0o644 | 323.1 KB |
/usr/share/hol-light/miz3/
|
root:root | 0o755 | ||
/usr/share/hol-light/nets.ml
|
text/plain | root:root | 0o644 | 5.6 KB |
/usr/share/hol-light/normalizer.ml
|
text/plain | root:root | 0o644 | 24.4 KB |
/usr/share/hol-light/nums.ml
|
text/plain | root:root | 0o644 | 13.7 KB |
/usr/share/hol-light/ocamlinit-stamp
|
application/x-empty | root:root | 0o644 | 0 bytes |
/usr/share/hol-light/pa_j.cmi
|
application/octet-stream | root:root | 0o644 | 18.6 KB |
/usr/share/hol-light/pa_j.cmo
|
application/octet-stream | root:root | 0o644 | 203.3 KB |
/usr/share/hol-light/pair.ml
|
text/plain | root:root | 0o644 | 18.6 KB |
/usr/share/hol-light/parser.ml
|
text/plain | root:root | 0o644 | 21.4 KB |
/usr/share/hol-light/preterm.ml
|
text/plain | root:root | 0o644 | 19.3 KB |
/usr/share/hol-light/printer.ml
|
text/plain | root:root | 0o644 | 23.9 KB |
/usr/share/hol-light/quot.ml
|
text/plain | root:root | 0o644 | 8.0 KB |
/usr/share/hol-light/real.ml
|
text/plain | root:root | 0o644 | 62.6 KB |
/usr/share/hol-light/realarith.ml
|
text/plain | root:root | 0o644 | 25.6 KB |
/usr/share/hol-light/realax.ml
|
text/plain | root:root | 0o644 | 87.2 KB |
/usr/share/hol-light/recursion.ml
|
text/plain | root:root | 0o644 | 5.5 KB |
/usr/share/hol-light/sets.ml
|
text/plain | root:root | 0o644 | 183.2 KB |
/usr/share/hol-light/simp.ml
|
text/plain | root:root | 0o644 | 24.1 KB |
/usr/share/hol-light/system.ml
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/hol-light/tactics.ml
|
text/plain | root:root | 0o644 | 35.3 KB |
/usr/share/hol-light/theorems.ml
|
text/plain | root:root | 0o644 | 20.2 KB |
/usr/share/hol-light/trivia.ml
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/hol-light/update_database.ml
|
text/plain | root:root | 0o644 | 8.8 KB |
/usr/share/hol-light/wf.ml
|
text/plain | root:root | 0o644 | 18.2 KB |